function str_replace(search, replace, subject) {
    return subject.split(search).join(replace);
}  

function nachfrage(url, msg)
{
  var name=confirm(msg)
  if (name==true)
  {
    document.location.href = url;
  }
}

function NeuesFenster(url, x, y)
{
 fenster = window.open(url, "Neuesfenster", "width="+x+",height="+y+",left=20,resizable=yes,scrollbars=yes");
 fenster.focus();
 return false;
}