<!--

//// JavaScript Navigation for index
// Variables from navindex.js: nextIndexPageUrl, prevIndexPageUrl, parentIndexPageUrl, firstIndexPageUrl, lastIndexPageUrl 
function nextPage() {
	if ( nextPageUrl) document.location=nextPageUrl;
	takenAction = false;
}
function prevPage() {
	if ( prevPageUrl) document.location=prevPageUrl;
	takenAction = false;
}
function indexPage() {
	if ( parentPageUrl) document.location=parentPageUrl;
	takenAction = false;
}
function firstPage() {
	if ( firstPageUrl) document.location=firstPageUrl;
	takenAction = false;
}
function lastPage() {
	if ( lastPageUrl) document.location=lastPageUrl;
	takenAction = false;
}
-->