function protectEmail(user, domain, name, display) {
	/*if display = 0, don't show anything. if display = 1, show the email address
	we've generated. if display = anything else, show the name we've specified.*/
	addy = user + "@" + domain;
	if (display == 0) {
		name = "";
	} else if (display == 1) {
		name = addy;
	}
	document.write("<a href='mailto:"+addy+"'>"+name+"</a>");
}


function checkUncheckAll(theElement) {
	var theForm = theElement.form, z = 0;
	for(z=0; z<theForm.length;z++){
		if(theForm[z].type == 'checkbox' && theForm[z].name != 'checkall') {
			theForm[z].checked = theElement.checked;
		}
	}
}