// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
// emailadressen entschlüsseln
function entschluesseln(mail){
	mail = mail.split(",");
	d='';
	for(i=0;i<mail.length;i++){
		d+="&#"+mail[i]+";";
	}
	return d;
}
// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~