function setBannerHeight (bannerHeight)	{
		if ( !bannerHeight ) { bannerHeight=0 }
		document.getElementById('aliasFrame').style.top = bannerHeight+27+'px';
		var iframeHeight = parseInt(document.documentElement.clientHeight-27-bannerHeight);
		if (iframeHeight <0 ) iframeHeight=0;
	        if ( navigator.appName != 'Opera' || ( navigator.appName == 'Opera' && navigator.appVersion >= '9.5' )) {document.getElementById('aliasFrame').style.height = iframeHeight+'px';}

		return true;
	}