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