void script_5273(int arg0,string arg1) {
	setWidgetIsHidden(false, new WidgetPointer(1137,7));
	setWidgetText(new WidgetPointer(1137,10), arg1);
	if (setWidgetRegister(new WidgetPointer(1137,7))) {
		setWidgetIntegerNode(1103, arg0);
	}
	return;
}
