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