Hola dieguicho y JavierB  

 : 
Intenté hacer la asignación del ejemplo porque necesitaba distinguir entre mozilla y explorer, y en mozilla no me funcionó...  
 
  
<script id="DOM" language="javascript" src="Moz-DOM.js">
</script> 
<script language="javascript" >
function explorador()	{
if (document.all)
document.getElementById("DOM").setAttribute("src", "MSI_DOM.js");
//location.href = "MSI_izq.html";
else
document.getElementById("DOM").setAttribute("src", "Moz-DOM.js");
//location.href = "Moz_izq.html";
}
</script>
...
<body onload="explorador();" > 
Para mi caso puedo solucionarlo poniendo el src para mozilla en el inicio, y averiguar el explorador durante el inicio, pero para otros casos no sé si servirá...  
 
  
Saludos  
