function add_fav(url,title) {
  if (document.all) {
    window.external.AddFavorite(url,title);
  } else {
    window.sidebar.addPanel(title, url, '');
  }
}