function print_ubi_a_mail() {

	document.write('<a href="mailto://');
	document.write('lists');
	document.write('@');
	document.write('rustichelli.net">');
}

function print_ubi_fa_mail() {

	document.write('</a>');
}

function print_ubi_mail() {

	document.write('lists');
	document.write('@');
	document.write('rustichelli.net');
}

function print_ubi_pre_mail(textpre) {

	document.write('<a href="mailto://lists');
	document.write('@');
	document.write('rustichelli.net">');
	document.write(textpre);
	document.write('lists');
	document.write('@rustichelli.net');
	document.write('</a>');
}