function bookmark(title, url) {	
          if (title == undefined)		
              title = document.title;	
         if (url == undefined)		
            url = top.location.href;	
         if (window.sidebar) {		
            window.sidebar.addPanel(title, url, '');	
         } else if (window.opera && window.print) {		
             var t = document.createElement('a');		
             t.setAttribute('rel', 'sidebar');		
             t.setAttribute('href', url);		
             t.setAttribute('title', title);		
             t.click();	
         } else {		
             window.external.AddFavorite(url, title);	
         }	

       return false;
  }