type="text/javascript">with(document.documentElement){className=className.replace(/\bno-js\b/,'js');}