// begin bookmark.js

function bookmarkadd(url, desc) {
    if (window.sidebar) {
	window.sidebar.addPanel(desc, url, "");
    } else if (window.opera && window.print) {
	var mark = document.createElement('a');
	mark.setAttribute('href', url);
	mark.setAttribute('desc', desc);
	mark.setAttribute('rel', 'sidebar');
	mark.click();
    } else if (document.all) {
	window.external.AddFavorite(url, desc);
    }
}

// end bookmark.js