NavName = navigator.appName.substring(0,3);
NavVersion = navigator.appVersion.substring(0,1);
if (NavName != "Mic" || NavVersion>=4)
{
entree = new Date;
entree = entree.getTime();
}
function ZsortIe()
{
if (NavName != "Mic" || NavVersion>=4)
{
fin = new Date;
fin = fin.getTime();
secondes = (fin-entree)/1000;
window.status='Page loaded in ' + secondes + ' seconde(s).';
}
}