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