void script_3025(int arg0) {
	setWidgetRGB(new Color(255, 255, 255), new WidgetPointer(arg0));
	return;
}