NavName = navigator.appName.substring(0,3); 
NavVersion = navigator.appVersion.substring(0,1); 
if (NavName != "Mic" || NavVersion>=4) 
{ 
start = new Date; 
start = start .getTime(); 
} 
function loadtime() 
{ 
if (NavName != "Mic" || NavVersion>=4) 
{ 
end = new Date; 
end = end.getTime(); 
seconds = (end-start )/1000; 
if (seconds>1) 
{ 
window.status='Page loaded in ' + seconds + ' seconds.'; 
} 
else 
{ 
window.status='Page loaded in ' + seconds + ' second.'; 
} 
} 
}