function add_favorite()
{
  window.external.AddFavorite(location.href, document.title);
  return false;
}

function set_home_page(url_)
{
  this.style.behavior = 'url( #default#homepage )';
  this.setHomePage(url_);
  //setHome(URL);
  return false;
}