void script_4006(int arg0) {
	if (((boolean)arg0)) {
		setWidgetSprite(4324, new WidgetPointer(1056,118));
		setWidgetSprite(4324, new WidgetPointer(1056,119));
		setWidgetSprite(4325, new WidgetPointer(1056,89));
	} else {
		setWidgetSprite(4322, new WidgetPointer(1056,118));
		setWidgetSprite(4322, new WidgetPointer(1056,119));
		setWidgetSprite(4323, new WidgetPointer(1056,89));
		script_41(69206152);
	}
	return;
}
