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);
}
function GetIF(nHoehe) {
	iFrameHeight = nHoehe;
	document.getElementById('ATContent').style.height = iFrameHeight + 'px';
}