var favurl=document.location.href;
var favtitre=document.title;
function AddFav()
{
if (document.all)
{
window.external.AddFavorite(favurl, favtitre);
}
else
{
alert("CTRL+D per aggiungere questa pagina a preferiti.")
}
}