void script_1272() {
	string svar0;
	svar0 = "null";
	svar0 = "House options";
	setScriptCallOnMouseOver(38, new WidgetPointer(-32768,3), new WidgetPointer(261,22), svar0, 25, 180, "IIsii", new WidgetPointer(261,8));
	globalint_2 = 0;
	return;
}
