void script_4101(int arg0) {
	setWidgetIsHidden(((boolean)arg0), new WidgetPointer(1056,102));
	return;
}