function setBgC(what, color) {
  if (color==1) {
    what.style.backgroundColor  = "#FFFFFF";
  } else {
    what.style.backgroundColor  = "transparent";
  }
}

function writeMail() {
  user = "psv-judo";
  domain = "thew.de";
  mail = user+'@'+domain;
  mail = '<a href="mailto:'+mail+'">'+mail+'</a>';
  document.writeln(mail);
  return true;
}