function findBannerHeight()
{
	var theBanner = document.getElementById("nsbanner");
	var theText = document.getElementById("nstext");
	var oBody = document.getElementById("theBody");
	oBody.style.paddingTop = theBanner.offsetHeight;
	theBanner.style.height = theBanner.offsetHeight;
	try{theText.setActive();} //allows scrolling from keyboard as soon as page is loaded. Only works in IE 5.5 and above.
	catch(e){}
}

//Book title
var theTitle = "ArcXML Programmer's Reference Guide for ArcIMS 9.1"