function msAddScript(url) {
    var oldscript = document.getElementById('AT_IFrame');
    if (oldscript != null) {
        oldscript.parentNode.removeChild(oldscript);
        delete oldscript;
    }

    var head = document.getElementsByTagName("head")[0];
    script = document.createElement('script');
    script.id = 'AT_IFrame';
    script.type = 'text/javascript';
    script.src = url;
    head.appendChild(script);
    //alert(url);
}

function GetIF(nHoehe) {
    iFrameHeight = nHoehe;
    //alert(iFrameHeight);
    document.getElementById('ATContent').style.height = iFrameHeight + 'px';
}