// JavaScript Document

function changePage(pageName, objectID) {
fetchData(pageName,null,objectID);	
}

function filterData(pageRequest, objectID) {
	if (pageRequest.readyState == 4 &&
		(pageRequest.status==200 ||
		window.location.href.index0f
		("http")==-1))
	document.getElementById
		(objectID).innerHTML=
		pageRequest.responseText;
}