function mypageis(page) {
  if (page<=1) 
    sel=0;
  else if (page<2)
    sel=0;
  else if (page<3)
    sel=1;
  else if (page<18)
    sel=2;
  else if (page<22)
    sel=3;
  else if (page<25)
    sel=4;
  else if (page<42)
    sel=5;
  else if (page<62)
    sel=6;
  else if (page<64)
    sel=7;
  else if (page<67)
    sel=8;
  else if (page<68)
    sel=9;
  else if (page<72)
    sel=10;
  else if (page<74)
    sel=11;
  else if (page<76)
    sel=12;
  else if (page<79)
    sel=13;
  else if (page<82)
    sel=14;
  else if (page<83)
    sel=15;
  else if (page<85)
    sel=16;
  else if (page<86)
    sel=17;
  else if (page==86)
    sel=18;
  if (window.parent.main == window) {
    searchwindow = window.parent.nav.document;
  } else {
    searchwindow = window.parent.nav;
  }
  if (searchwindow.form1)
    if (searchwindow.form1.select2)
      searchwindow.form1.select2.selectedIndex = sel;	  
  window.parent.nav.gCurrPage = page;
}


function newpage(url) {
  var page_regexp = /index_([0-9]+)\./i
  page = parseInt(url.replace(page_regexp, '$1'));
 
  mypageis(page);
  
  if (window.parent.main == window) {
    searchwindow = window.parent.nav.document;
  } else {
    searchwindow = window.parent.nav;
  }
  if (searchwindow.form1)
    if (searchwindow.form1.select2)
	  searchwindow.form1.select2.selectedIndex = sel; 
  if (window.parent)
    if (window.parent.nav)
      window.parent.nav.gCurrPage = page;
  window.location.href = url;
  
  /* 
  UPDATE BUTTONS IF REQUESTED FROM SITEMAP, 
  assume we are in the middle of the page array.
  */ 
  
  var winstr = window.location.href;
  if (winstr.substr(winstr.length-13,winstr.length) == "site_map.html") {
    window.parent.nav.document.next.src = "next_1.gif";
    window.parent.nav.document.ffwd.src = "ffwd_1.gif";
    window.parent.nav.document.rew.src = "rew_1.gif";
    window.parent.nav.document.prev.src = "prev_1.gif";
  }
}

var mypgreg=/([0-9]+)\.html/i;
mypgrs=mypgreg.exec(location.href);
if (mypgrs) {
  mypgno=parseInt(mypgrs[0]);
  mypageis(mypgno);
}