function gonext() { 
    if (pagecur < pageend) {
	pagecur++;	 }
           else   {
		pagecur=pagecur;}
 pagen.src = "../doc45/" +pagecur+".gif";
}
function goprevious() { 
    if (pagecur > pagestart) {
	pagecur--;
                  }
           else      {
	 pagecur=pagecur;}
 pagen.src = "../doc45/" +pagecur+".gif";
}