// JavaScript Document

//////////// CHANGE PAGE NUMBER ///////////
function changeMainPage(pagenum)
{
	document.mainpagesform.page.value = pagenum;
	document.mainpagesform.submit();
}
///////////////////////////////