function CharCalc(a,b,c)
{return String.fromCharCode(Math.pow(a,b) - c)}
function RealAddr(AId){
var e = document.getElementById(AId)
if (e == null) return;
e.href="mai" + CharCalc(8,2,-12) + "to" + CharCalc(8,2,6) + AId +
CharCalc(8,2,0) + 'tarki' + CharCalc(7,2,3) + 'hu';}