if (document.layers) { 
window.location='oldnav.php';
}
function favori(){
browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);
if (browserName == "Microsoft Internet Explorer" && browserVer >= 4) {
window.external.AddFavorite(location.href, document.title);
}
}