Hola otra vez.
 
Reconozco que había un error, pero después de arreglarlo sigue sin funcionar. 
Lo que he probado es crear un nodo script y añadirlo en el head: 
function explorador()	{
	var dom = document.createElement("script");
	dom.src = (document.all) ? "MSI_DOM.js" : "Moz_DOM.js";
	document.documentElement.childNodes[0].appendChild(dom);
} 
Esto funciona en los 2 exploradores que he probado. 
Pensando en esto se me ocurre que se podría reemplazar el nodo con el script dinámicamente (creo que existe replaceNode)... 
Lo voy a probar y les cuento... 
Saludos  
