void script_5141(int arg0) {
	if (isWidgetHidden(new WidgetPointer(arg0))) {
		setWidgetIsHidden(false, new WidgetPointer(arg0));
	} else {
		setWidgetIsHidden(true, new WidgetPointer(arg0));
	}
	return;
}
