<!--
function bookmark(url, description){
	//***---This text will be shown to the visitor if it has Netscape.
	netscape="First push OK and then hit CTRL+D to add a bookmark to this site."

	if (navigator.appName=='Microsoft Internet Explorer'){
		window.external.AddFavorite(url, description);
	}
	else if (navigator.appName=='Netscape')
	{
		alert(netscape);
	}
}
//-->