function cambiamail (buzon) {
	var res = "";
	for (var n = 0; n < buzon.length; n++)
	res += String.fromCharCode(buzon.charCodeAt(n));
	if (res.indexOf('@') < 0)
	res = res + '@' + 'kor.es';
	location = "mail" + "to:" + res;
}