function addFavorite( server, url, label )
{         
  var szTarget;
  szTarget = "http://" + server + url;
  window.external.AddFavorite( url, label + " Page" );	
}