<!--
function init() {
	if(document.form1 && document.form1.process) document.form1.process.value = "1";
}

function hideemail(name, domain, display) {
displayed=(typeof(display)=="undefined") ? name+"@"+domain : display
document.write('<a href=mailto:' + name + '@' + domain + '>' + displayed +
'</a>');
}
// -->