window.JS_CHECK = (function(window,doc,undefined){
	var docElement = doc.documentElement;
	/// Remove "no-js" class from <html> element, if it exists:
	docElement.className=docElement.className.replace(/\bno-js\b/,'') + ' js';
})(this,this.document);
