/* popup-fenster */

function pop_player (url)
{
  player = window.open (url, "player", "top=25,left=600,width=240,height=130,location=no,status=no,toolbar=no,menubar=no,hotkeys=no,scrollbars=no,dependent=yes");
  player.focus();
}


/* mailto-link mit javascript */

function mailto_java (name, server)
{
  document.write ('<a href="mailto:'+name+'@'+server+'">'+name+'@'+server+'<\/a>');
}