void script_4507(int arg0,int arg1,int arg2) {
	string svar0;
	svar0 = "";
	if (setWidgetRegister(new WidgetPointer(arg1), arg0)) {
		svar0 = getWidgetText();
	}
	deleteAllExtraChilds(new WidgetPointer(arg2));
	createExtraChild(new WidgetPointer(arg2), 4, getExtraChildGap(new WidgetPointer(arg2)));
	setWidgetText(svar0);
	setWidgetFont(3793);
	setWidgetPosition(5, 0, 0, 1);
	setWidgetSize(5, 16384, 1, 2);
	setWidgetTextAlignment(0, 1, 0);
	setWidgetRGB(new Color(0, 0, 0));
	return;
}
