// popupWindow.js
// erzeugt ein neues browserfenster ohne menue
function popupWindow(URL, options)
{
  F = window.open(URL,"Popup",options);
}