void script_1140(int arg0) {
	if (((boolean)standart_config_172)) {
		setWidgetSprite(1409, new WidgetPointer(arg0));
	} else {
		setWidgetSprite(656, new WidgetPointer(arg0));
	}
	return;
}