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}