// JavaScript Document Used on all pages.
<!--

<!-- Bookmark with Netscape Alert -->
function bookmark(url, description) {
	netscape="Netscape User's 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);
	}
}

<!-- Jump Menu -->
function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}

var user; 
var doJAVASCRIPT; 
var suffix; 
function jemail(user, doJAVASCRIPT, suffix){ 
document.write('<a class="more" href="' + 'mailto:' + user + '@' + doJAVASCRIPT + '.' + suffix + '">' + user + '@' + doJAVASCRIPT + '.' + suffix + '</a>');

} 


//-->