var node=document.documentElement;if(node.className==null||node.className.match(/\bjs\b/)==null){var append="js "+document.location.hash.substring(1),className=node.className;node.className=className==null?append:className.replace(/\s+/g," ")+(className==""?"":" ")+append};