<!--	var alias = "tucker";	var domain = "math.hmc.edu";	var text = "Kimberly Tucker";	document.write('<a href="mai' + 'lto:' + alias + '@' + domain + '">');	document.write(text + '</a>');// -->