function addfav()
{
  if (window.external)
  {
    if (arguments.length < 1)
      window.external.AddFavorite(location.href, document.title);
    if (arguments.length == 1)
      window.external.AddFavorite(location.href, arguments[0]);
    if (arguments.length == 2)
      window.external.AddFavorite(arguments[0], arguments[1]);
  }
  else
    alert("Sorry, your browser doesn't support automated bookmarks.\nYou'll have to do it manually.");
}