void script_1287() {
	setWidgetIsHidden(true, new WidgetPointer(502,8));
	setWidgetIsHidden(true, new WidgetPointer(502,9));
	setWidgetIsHidden(true, new WidgetPointer(502,10));
	setWidgetIsHidden(true, new WidgetPointer(502,11));
	setWidgetIsHidden(true, new WidgetPointer(502,12));
	return;
}