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