“; document.getElementsbytagname（“ head”）[0] .appendchild（htmldiv.childnodes [0]）;}