// JavaScript Document

function criptServer(){
// Restituisce, criptato, il server della posta predefinito:  @sap-palermo.org
	server = String.fromCharCode(64,115,97,112,45,112,97,108,101,114,109,111,46,111,114,103);
	return server;
}

function criptMail(dest, server){
<!--
// Converte i caratteri nel rispettivo codice numerico 
var start=String.fromCharCode(104,114,101,102,61,34,109,97,105,108,116,111,58);
var end=String.fromCharCode(34,62);
if (server == "" || server == null){
	// Se non viene passato nessun valore per il server recupera il server predefinito (@sap-palermo.org)
	server=criptServer()
}
// Ricompone l'indirizzo eMail
document.write("<a "+start+dest+server+end+dest+server+"</a>");
// -->
}