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);
