// JavaScript Document
<!--
function bookmarksite(title, url){
		if (document.all)
			window.external.AddFavorite(url, title);
		else if (window.sidebar)
			window.sidebar.addPanel(title, url, "")
		}
		-->