var mail="benjamin@41degree.de";
document.write("<p><a href=\"mailto:"+mail+"\"><RepTab>benjamin</RepTab></a></p>");