void script_5240(int arg0) {
	if (((boolean)globalint_1184)) {
		if (arg0 == 73793728) {
			setWidgetRGB(new Color(235, 224, 188), new WidgetPointer(arg0));
		}
	} else {
		if (arg0 == 73793723) {
			setWidgetRGB(new Color(235, 224, 188), new WidgetPointer(arg0));
		}
	}
	return;
}