function doBookmark(url) {					
	if ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4)) {
	window.external.AddFavorite(url,document.title);
	}
	else {
	var msg = "Your browser requires you to add the bookmark yourself";
	if(navigator.appName == "Netscape") msg += "  (CTRL-D)";
	alert(msg)
	}
}

function doIndustryBookmark(url) {					
	if ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4)) {
	window.external.AddFavorite(url,document.title);
	}
	else {
	var msg = "Your browser requires you to add the bookmark yourself";
	if(navigator.appName == "Netscape") msg += "  (CTRL-D)";
	alert(msg)
	}
}