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