function mypageis(page) {
  if (page<=1) 
    sel=0;
  else if (page<3)
    sel=1;
  else if (page<5)
    sel=2;
  else if (page<6)
    sel=3;
  else if (page<10)
    sel=4;
  else if (page<12)
    sel=5;
  else if (page<19)
    sel=6;
  else if (page<21)
    sel=7;
  else if (page<24)
    sel=8;
  else if (page<25)
    sel=9;
  else if (page<26)
    sel=10;
  else if (page<28)
    sel=11;
  else if (page<30)
    sel=12;
  else if (page<32)
    sel=13;
  else if (page<33)
    sel=14;
  else if (page<34)
    sel=15;
  else if (page<35)
    sel=16;
  else if (page<36)
    sel=18;
  else if (page<38)
    sel=19;    
  else if (page<42)
    sel=20;    
  else if (page<45)
    sel=21;    
  else if (page<46)
    sel=22;    
  else if (page<52)
    sel=23;    
  else if (page<53)
    sel=24;    
  else if (page<54)
    sel=25;    
  else if (page<56)
    sel=26;    
  else if (page<62)
    sel=27;    
  else if (page<73)
    sel=28;    
  else if (page<74)
    sel=30;    
  else if (page<76)
    sel=31;    
  else if (page<77)
    sel=32;    
  else if (page<78)
    sel=33;    
  else if (page<80)
    sel=34;    
  else if (page<82)
    sel=35;    
  else if (page<83)
    sel=37;    
  else if (page<84)
    sel=38;    
  else if (page<85)
    sel=39;    
  else if (page<86)
    sel=40;    
  else if (page<87)
    sel=41;    
  else if (page==87)
    sel=42;    
  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);
}