function print_email(name, domain) {
	var email = name + '@' + domain;
	document.write('<a href="mailto:' + email  + '">' + email + '</a>');
	}
function uiuc(name, netid) {
	var email = netid + '@illinois.edu';
	document.write('<a href="mailto:' + email + '">' + name + '</a>');
	}
function uiucFull(netid) {
	var email = netid + '@illinois.edu';
	document.write('<a href="mailto:' + email + '">' + email + '</a>');
	}
