// 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;
}