void script_1259() {
	if (((boolean)bitconfig_305)) {
		return;
	}
	if (((boolean)standart_config_265)) {
		setWidgetSprite(180, new WidgetPointer(114,28));
	} else {
		setWidgetSprite(181, new WidgetPointer(114,28));
	}
	return;
}