window.addEventListener?window.addEventListener('load',init,false):window.attachEvent('onload',init);

var pageID1 = pageID2 = tmp = language = myInterval = "";

function init()
{
	language = document.getElementsByTagName("option")[0].getAttribute("value");
	tmp = document.location.hash;
	tmp?null:document.location = "#home.html";
	myInterval = window.setInterval('pager()', 300);
}

function pager()
{
  pageID1 = document.location.hash.substring(1);
  if (pageID1 != pageID2) { changePage(); }
}

function changePage()
{
  if (!pageID1){ pageID1 = "home.html"; }
  htmlObj = document.getElementById('mainContent');
  htmlObj.innerHTML = '<object id="pager" data="' + pageID1 + '"> Error: Embedded data could not be displayed. </object>';
  pageID2 = pageID1;
}


function changeLanguage()
{
	if(language == "english") { d=document.location="spanish"; } 
	if(language == "spanish") { d=document.location="../"; } 

}

function activeButton(tmp)
{
	alert(tmp);
	tmp.style.color = "red";
	tmp.style.fontWeight = "bold";
	tmp.style.borderBottom = "thin solid Navy";
}