void script_4081() {
	if (setWidgetRegister(new WidgetPointer(1060,0))) {
		setWidgetSprite(4031);
	}
	if (setWidgetRegister(new WidgetPointer(1060,2))) {
		setWidgetSprite(4034);
	}
	if (setWidgetRegister(new WidgetPointer(1060,1))) {
		setWidgetSprite(4037);
	}
	return;
}
