“; document.getElementsbytagname(“ head”)[0] .appendchild(htmldiv.childnodes [0]);}