} else {d.getElementsByTagName(‘head’)[0].appendChild(s);