void script_4072(int arg0) {
	if (arg0 == 69337132) {
		setWidgetIsHidden(true, new WidgetPointer(1058,31));
	} else if (arg0 == 69337090) {
		setWidgetIsHidden(true, new WidgetPointer(1058,39));
	} else {
		if (arg0 == 69337091) {
			setWidgetIsHidden(true, new WidgetPointer(1058,35));
		}
	}
	return;
}