var hasJS=function(){var b=document.getElementsByTagName("html")[0];b.className=(b.className+" "||"")+"hasJS"}();