// ************************* //
function myhide(tld,dom,adr)
// ************************* //

{
var myvar = '@';
  tld = '.' + tld;
  document.write('<a href="mai' + 'lto:' + adr + myvar + dom + tld + '">' + adr + myvar + dom + tld + '</a>');
return ;
}

// ************************* //
function change (lang) {
// ************************* //

var c = document.location.href;

if (lang=="de") {
  c = c.replace(".en.",".");
}
else {
  c = c.replace(".html",".en.html");
}

document.location.href = c;

return false;
}

// ************************* //
function footer(lang) {
// ************************* //
  if (lang == 'en')
    document.write("Location of this document: ")
  else
    document.write("Adresse dieses Dokuments: ");
  document.writeln(document.URL);
  document.writeln("<br>");
  if (lang == 'en')
    document.write("Last Update: ")
  else
   document.write("Letzte Version: ");
  document.writeln(document.lastModified);
}