function changePage(page)
  {
   i = page.selectedIndex;
   url = page.options[i].value;
   window.location = url;
  }