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