/* FAVORITEN ICON */
document.writeln("<link rel='icon' href='/favicon.ico'>");
document.writeln("<link rel='shortcut icon' href='/favicon.ico'>");


/* P O P U P   V O R N E */
function immervorn() {
  self.focus();
  window.setTimeout("immervorn()",100);
}

/* E M A I L */
function ghostmail(name, domain, display) {
displayed=(typeof(display)=="undefined") ? name+"@"+domain : display
document.write('<a class="sinfonica" href=mailto:' + name + '@' + domain + '>' + displayed + '</a>');
}