void script_4048(int arg0) {
	setWidgetText(new WidgetPointer(arg0), intToStr(bitconfig_8666));
	return;
}