function adr_stamps() { 
  var mto = "mailto:"
  var m1 = "stamp3";
  var m2 = "karassek"; 
  var m3 = "de";
  document.write('<a href=\"'+ mto + m1 + '@' + m2 + '.' + m3 + '\">');
  document.write(m1+'@'+m2+'.'+m3+'</a>');
}