void script_3313() {
	setWidgetText(new WidgetPointer(949,93), intToStr(globalint_1166));
	return;
}