// JavaScript Document
<!--
function ele(thisID) {
	return document.getElementById(thisID);
}
function toggleDisplay(tagID, hideMe){
	if(document.getElementById(tagID).style.display=='none'){
		document.getElementById(tagID).style.display='';
		hideMe.style.display='none';
	} else {
		document.getElementById(tagID).style.display='none';
	}
}
function mail2(user,domain){
	var emailaddy = user+"&#064"+domain;
	document.write("<a class='email' href=" + "mail" + "to:" + emailaddy + ">" + emailaddy + "</a>")
}
//-->