Hola Maycol y JavierB  

 : 
En una ocasión tuve que distinguir entre opera y explorer y me funcionó esto: 
function esOpera()	{
	return (navigator.userAgent.toLowerCase().indexOf("opera"  ) >= 0);
} 
...por lo que bastaría modificar esto: if (document.all
 && !esOpera() ) 
Espero que te sirva. 
Saludos