void script_2526(int arg0) {
	if (((boolean)bitconfig_6379)) {
		setWidgetSprite(1135, new WidgetPointer(arg0));
	} else {
		setWidgetSprite(1134, new WidgetPointer(arg0));
	}
	return;
}