function favorito() {
if ((navigator.appName=="Microsoft Internet Explorer")&&
(parseInt(navigator.appVersion)>=4)) {
window.external.addFavorite
(document.location.href, document.title);
} else {
var msg = "Info: Il tuo browser non supporta lo script per aggiungere '" +
document.location.href + "' ai preferiti!";
if (navigator.appName=="Netscape") msg += " (usa CTRL-D)";
alert(msg);
}
}