// JavaScript Document

function goPage() {
	var pageNumber = document.getElementById('pageNumber').value;
	if( pageNumber > pages.length ) pageNumber = pages.length;
	window.location.href = editionURL + pages[pageNumber];
	return false;
}