function navbutton(btntype, filename)
{

var a=document.getElementById('paraid');

var b=a.value;

 var j=0;
 var totlen=0;
 for(var i=0;i<document.anchors.length;i++)
 {
 if(parseInt(document.anchors[i].name.substr(1))>parseInt(document.anchors[j].name.substr(1)))
 j=i;
 }
 totlen = parseInt(document.anchors[j].name.substr(1));
 //alert(totlen);


if(btntype=='prev' && b!=1)
{

a.value=(parseInt(b)-1);
window.location.href=filename+'#P'+(parseInt(b)-1);

}
else if(btntype=='next' &&  parseInt(b) < totlen)
{

a.value=(parseInt(b)+1);
window.location.href=filename+'#P'+(parseInt(b)+1);

}

}


function unique(a)
{
   var r = new Array();
   o:for(var i = 0, n = a.length; i < n; i++)
   {
      for(var x = 0, y = r.length; x < y; x++)
      {
         if(r[x].name==a[i].name) continue o;
      }
      r[r.length] = a[i].name;
   }
   return r;
}