function AddFavorite(sURL, sDescr) {
  if ((navigator.appName=="Microsoft Internet Explorer")&&
    (parseInt(navigator.appVersion)>=4)) {
    window.external.AddFavorite(sURL, sDescr);
  } else {
    var msg = "Devi aggiungere manualmente '" +
      sURL + "' ai preferiti!";
    if (navigator.appName=="Netscape") msg += " (CTRL-D)";
    alert(msg);
  }
}