var zeichenat  = '%h789h56l%';
var zeichenpunktchen = '0012j&9gtgr7';

function decodeString(myEncStr) {
	var tmp;
	tmp = myEncStr.replace( eval("/" + zeichenat + "/"), '@');
	tmp = tmp.replace( eval("/" + zeichenpunktchen + "/g"), '.');
	return(tmp);
}

function printLink(myEncStr, withclass) {
  var decStr = decodeString(myEncStr);
  with ( document ) {
    open();
		if ( withclass && withclass != '') {
			document.writeln("<a href=\"mailto:" + decStr + "\" class=\"" + withclass + "\">" + decStr + "</a>");
		} else {
			document.writeln("<a href=\"mailto:" + decStr + "\">" + decStr + "</a>");
		}
    close();
  }
}