function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
  
  
}
MM_reloadPage(true);


function boiler() {

	// Reposition the boiler text to the bottom of the page -- to the bottom of the text, or to the bottom of the window.

	
	
	/*ie*/ if (document.all) {
		
		var windowsize = (document.body.clientHeight);
		
		if ((document.all['content'].clientHeight) > (document.all['related'].clientHeight)) var contentsize = (document.all['content'].clientHeight+163);
		else var contentsize = (document.all['related'].clientHeight+163);


	//	if (contentsize < windowsize) document.all['boiler'].style.posTop = (windowsize-85);
	//	else document.all['boiler'].style.posTop = contentsize;
		
		if (contentsize < windowsize) {
			document.all['boiler'].style.posTop = (windowsize-85);
			if (document.all['returnToTop']) {
				document.all['returnToTop'].style.visibility = 'hidden';
			}
		}
		else {
			document.all['boiler'].style.posTop = contentsize;
			if (document.all['returnToTop']) {
				document.all['returnToTop'].style.visibility = 'visible';
				document.all['returnToTop'].style.posTop = contentsize+30;
			}
		}

		
	}
	/*ns4*/ else if (document.layers)
	{
		var windowsize = (window.innerHeight);
		
		if ((document.layers['content'].document.height) > (document.layers['related'].document.height)) var contentsize = (document.layers['content'].document.height+163);
		else var contentsize = (document.layers['related'].document.height+163);
	
	//	if (contentsize < windowsize) document.layers['boiler'].top = (windowsize-80);
	//	else document.layers['boiler'].top = contentsize;
		
		if (contentsize < windowsize) {
			document.layers['boiler'].top = (windowsize-80);
			if (document.layers['returnToTop']) {
				document.layers['returnToTop'].visibility = 'hidden';
			}
		}
		else {
			document.layers['boiler'].top = contentsize;
			if (document.layers['returnToTop']) {
				document.layers['returnToTop'].visibility = 'visible';
				document.layers['returnToTop'].top = contentsize+25;
			}
		}
		
	}
	/*ns6*/ else if (document.getElementById) {

		var windowsize = (window.innerHeight);
		
		if((document.getElementById("content").offsetHeight) > (document.getElementById("related").offsetHeight)) var contentsize = (document.getElementById("content").offsetHeight+163);
		else var contentsize = (document.getElementById("related").offsetHeight+163);
		
		if (contentsize < windowsize) {
			document.getElementById("boiler").style.top = (windowsize-100);
			if (document.getElementById("returnToTop")) {
				document.getElementById("returnToTop").style.visibility = "hidden";
			}
		}
		else {
			document.getElementById("boiler").style.top = contentsize;
			if (document.getElementById("returnToTop")) {
				document.getElementById("returnToTop").style.visibility = "visible";
				document.getElementById("returnToTop").style.top = contentsize+25;
			}

		}
	}

}
function launch(url, title, width, height, scrollbars, resizable, toolbar, status, location, menubar, directories) {
	if(!scrollbars){scrollbars=0}
	if(!resizable){resizable=0}
	if(!toolbar){toolbar=0}
	if(!status){status=0}
	if(!location){location=0}
	if(!menubar){menubar=0}
	if(!directories){directories=0}
	var w = screen.width;
	var h = screen.height;
	var l = (w-width)/2;
	var t = ((h-height)/2)-20;
	var settings = 'location='+location+',toolbar='+toolbar+',directories='+directories+',status='+status+',menubar='+menubar+',scrollbars='+scrollbars+',resizable='+resizable;
	var position =  'top=' + t + ',screenY=' + t + ',left=' + l + ',screenX=' + l;
	var size = 'width=' + width + ',innerWidth=' + width +', height=' + height + ',innerHeight=' + height;
	var settings = settings + ',' + position + ',' + size
	window.open(url, title, settings);
}