function gotoPage(page)
{
	if (page !== undefined) {
		var f = document.forms.std;

		f.page.value = page;
		f.submit();
	}
}