s";document.getElementsByTagName("head")[0].appendChild(s);})();