Document.getElementsByTagName("head")[0]).appendChild(c)},D=function(a){for(var B=0,c;(c=w[b])