// JavaScript Document

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

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