function unhide(email) {
	var emailaddress;
	emailaddress = email.replace('<add-sign>', '@');
	emailaddress = emailaddress.replace(/[|]+/g,'');
	return emailaddress;
}

function ComposeMail(email) {
	window.location.href=unhide(email)
}

var mailit = "m|a|i|l|t|o|:";
var user = "i|n|f|o|<add-sign>de|sc|heep|s|tim|m|erma|n.|nl";