// Popup, das mit den Parametern url, name und eigenschaften aufgerufen wird

var newwin;
function flashworker_popup(url,name,eigenschaften)
    {
    newwin = window.open(url,name,eigenschaften);
    newwin.focus();
        }
