function add_favorite(a) {
   if(document.all) window.external.AddFavorite(document.location.href, document.title);
   else if (typeof(opera)=="object") { a.rel="sidebar"; a.title=document.title; a.url=document.location.href; return true; } 
   else window.sidebar.addPanel(document.title,document.location.href,"");
   return false;
}