// JavaScript Document
function mail()
{
user = "verasteiner";
site = "postmail.ch";

document.write('<a href=\"mailto:' + user + '@' + site + '\">');
}