// JavaScript Document

   document.documentElement.className += " hasJS";
