void script_4380(int arg0,int arg1,int arg2) {
	globalstring_345 = getWidgetText(new WidgetPointer(arg0));
	globalint_1496 = script_1552(arg2, 5631, arg0, -1, globalstring_345);
	setWidgetPosition(globalint_1496, 5, 0, 0, new WidgetPointer(arg1));
	return;
}