var current = 0;
function next(){ // forward one image
if(document.navigation.strip[current+1]){
document.images.show.src = document.navigation.strip[current+1].value;
document.navigation.strip.selectedIndex = ++current;}
else{first();}}
function previous(){ // back one image
if((current-1) >= 0){
document.images.show.src = document.navigation.strip[current-1].value;
document.navigation.strip.selectedIndex= --current;}
else{last();}}
function first(){ // jump to first image
current=0;
document.images.show.src = document.navigation.strip[0].value;
document.navigation.strip.selectedIndex=0;}
function last(){ // this is jump to last image
current=(document.navigation.strip.length-1);
document.images.show.src = document.navigation.strip[current].value;
document.navigation.strip.selectedIndex=current;}
function change(){ // this is for the pulldown menu
current=document.navigation.strip.selectedIndex;
document.images.show.src = document.navigation.strip[current].value;}
//  End -->