var number_of_banners = 8;
var seconds_for_each_banner = 20;

function loadPage()
{
	loadContent('Overview');
	loadRSS();
	loadBanner();
}

function loadContent(menuName)
{
	var fileName=menuName.toLowerCase().replace(/ /g,"_")+".txt";
	
	var xmlhttp;
	if (window.XMLHttpRequest)
	  {// code for IE7+, Firefox, Chrome, Opera, Safari
	  xmlhttp=new XMLHttpRequest();
	  }
	else
	  {// code for IE6, IE5
	  xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");
	  }
	xmlhttp.onreadystatechange=function()
	  {
	  if (xmlhttp.readyState==4)
		{
		document.getElementById("content").innerHTML=xmlhttp.responseText;
		document.getElementById("page_head").innerHTML = menuName;
		}
	  }
	xmlhttp.open("GET",fileName,true);
	xmlhttp.send();
}

function loadRSS()
{
	var marqueeElement = document.createElement('MARQUEE');
	marqueeElement.id = 'RSS_content';
	marqueeElement.setAttribute('width','220px');
	marqueeElement.setAttribute('height','80px');
	marqueeElement.setAttribute('bgcolor','#c6e2ff');
	marqueeElement.setAttribute('direction','up');
	marqueeElement.setAttribute('scrollamount','2');
	marqueeElement.style.textAlign = 'justify';
	marqueeElement.setAttribute('onmouseover','this.stop()');
	marqueeElement.setAttribute('onmouseout','this.start()');
	
	var xmlhttp;
	if (window.XMLHttpRequest)
	  {// code for IE7+, Firefox, Chrome, Opera, Safari
	  xmlhttp=new XMLHttpRequest();
	  }
	else
	  {// code for IE6, IE5
	  xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");
	  }
	xmlhttp.onreadystatechange=function()
	  {
	  if (xmlhttp.readyState==4)
		{
			marqueeElement.innerHTML = xmlhttp.responseText;
			document.getElementById("RSS").appendChild(marqueeElement);
		}
	  }
	xmlhttp.open("GET","updates.txt",true);
	xmlhttp.send();
}

var bno = 0;
function loadBanner()
{
	/*bno++;
	if(bno > number_of_banners) bno = 1;
	document.getElementById('banner').src = "images/B"+bno+".jpg";
	setTimeout("loadBanner()",1000*seconds_for_each_banner);
	*/
	var width = window.document.body.clientWidth*0.23;
	document.getElementById('banner').style.height = width+'px';
	document.getElementById('banner1').style.height = width+'px';
}