
<!--
function pagination (page)
{
  document.PAGINATION.page.value = page;
  document.PAGINATION.submit() ;
}
-->