var OOUI_None=};
				if (typeof(OOUI) == 'undefined') {
					var OOUI = OOUI_None;
					OOUI_None = null;
				}else{
					jQuery.extend(OOUI, OOUI_None);
				}