var html = document.getElementsByTagName("html")[0];
html.className += html.className.length === 0 ? "javascript" : " javascript";
/*@cc_on document.createElement("abbr"); @*/