function addFav()
{
    var pageName = top.location.title;
    var urlAddress = top.location.href;
    if (window.external) 
    { 
        window.external.addFavorite(urlAddress,pageName); 
    } 
    else { alert("Hit CTRL-D to bookmark this page");}
}