void script_4876(int arg0) {
	int ivar1;
	ivar1 = add(0, 1);
	while (ivar1 <= 10) {
		setWidgetIsHidden(true, new WidgetPointer(script_4872(ivar1)));
		ivar1 = add(ivar1, 1);
	}
	setWidgetIsHidden(false, new WidgetPointer(script_4872(arg0)));
	return;
}
