function mailen(mailcode) {
	mailadr = mailcode.replace(/_AT_/,"@");
	gefunden = mailadr.search(/_DoT_/);
	while (gefunden != -1) {
		mailadr = mailadr.replace(/_DoT_/,".");
		gefunden = mailadr.search(/_DoT_/);
	}		
	location.href = "mailto:" + mailadr;
}

function mailen_at(mailcode) {
	mailadr = mailcode.replace(/\(at\)/,"@");
	location.href = "mailto:" + mailadr;
}