// JavaScript Document
<!--
var nom = navigator.appName;
//alert(nom);
if (nom == "Microsoft Internet Explorer"){
	document.write('<link rel="shortcut icon" type="image/x-icon" href="index_files/imagenes/icono.ico" />'); 
	}
else {
	document.write('<link rel="icon" type="image/png" href="index_files/imagenes/icono.gif"'); 
}
//-->