void script_5243(int arg0) {
	if (((boolean)arg0)) {
		setWidgetSprite(6379, new WidgetPointer(1128,329));
		setWidgetSprite(6380, new WidgetPointer(1128,330));
		setWidgetSprite(6381, new WidgetPointer(1128,331));
	} else {
		setWidgetSprite(6379, new WidgetPointer(1128,0));
		setWidgetSprite(6380, new WidgetPointer(1128,1));
		setWidgetSprite(6381, new WidgetPointer(1128,2));
	}
	return;
}
