function popUp (dieURL,ziel,eigenschaften)
{
 window.open(dieURL,ziel,eigenschaften);
}

function openPrintPreview(urlprefix)
{
  var toPrint = document.getElementById("exiframeurl").value;
  var titel = document.getElementById("headline_encoded").value;
  var urlprefix = document.getElementById("urlprefix").value;
  var url =  urlprefix + "?printing=1&titel=" + titel + "&toPrint=" + toPrint;

  var fenster = open(url, fenster, "width=600,height=500,left=100,top=50");
}