function mail_envirex() {
  server=('envirex.cz');
  email=('envirex'+'@'+server);
  text=('<a href="mailto:'+email+'">'+email+'</a>');
  document.write(text);
}

function mail_zidek() {
  server=('envirex.cz');
  email=('zidek'+'@'+server);
  text=('<a href="mailto:'+email+'">'+email+'</a>');
  document.write(text);
}

function mail_pokorny() {
  server=('envirex.cz');
  email=('pokorny'+'@'+server);
  text=('<a href="mailto:'+email+'">'+email+'</a>');
  document.write(text);
}