// Common JavaScript Functions

// Add a bookmark to a page
// Called via a hyperlink eg: <a href="javascript:bookmark();">Bookmark this page</a>
function bookmark() { 
var agent = window.navigator.userAgent; 
var i = agent.indexOf("MSIE ")+5; 
	if (navigator.appName == "Microsoft Internet Explorer" && parseInt(agent.substr(i)) >= 4) { 	
		window.external.AddFavorite(window.location.href,document.title); 
	} else { 
		alert('To bookmark this page\n\nNetscape users\nPress Ctrl-D\n\nOpera users\nPress CTRL+SHIFT+T\n\nOther users\nConsult your browser help'); 
	} 
}