.src = ('/js15_as.js?v=' + Math.random() * 10); (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(hs); })();