void script_5236() {
	int ivar0;
	ivar0 = subtract(120, multiplyDivide(120, 100, globalint_1186));
	if (getWidgetActualWidth(new WidgetPointer(1126,124)) < ivar0) {
		setWidgetSize(add(getWidgetActualWidth(new WidgetPointer(1126,124)), 1), getWidgetActualHeight(new WidgetPointer(1126,124)), 0, 0, new WidgetPointer(1126,124));
	}
	return;
}