function addfav()
{
    if (document.all)
    {
        window.external.AddFavorite(location.href, document.title)
    }
}