document.head.appendChild(s); })();