function popup(url, name, width, height)
{
    fenster = open(url, name, "width=" + width +", height=" + height + ", left=300, top=300, status=1, toolbar=no, menubar=no, scrollbars=no");
    fenster.focus;
    return false;
}

function changemenu(elementId, styleId)
{
    window.document.getElementById(elementId).className = styleId;
    return false;
}

function changeimage(elementId, imagename)
{
    window.document.getElementById(elementId).src = imagename;
    return false;
}

function warten(prmSec)
    {
    prmSec *= 1000;
    var eDate = null;
    var eMsec = 0;
    var sDate = new Date();
    var sMsec = sDate.getTime();

    do {
        eDate = new Date();
        eMsec = eDate.getTime();

    } while ((eMsec-sMsec)<prmSec);
}