//including-----------------------
numb_of_buttons=7

//--------load "highlighted" tabs into memory---------
 button_on = new Array(numb_of_buttons);
 
 for (i=0; i<numb_of_buttons; i++)
  button_on[i]=new Image();


//load files------------------------------------------
 for (i=0; i<numb_of_buttons; i++){
  button_on[i].src="./menu/r"+(i+1)+"on.gif";
 }

//function to turn image on and off
 function on(image,file)
  {
   document.images[image].src=file;
  }

//image is the document.Images[] index
//file is the file number 

function off(image,file)
  {
   document.images[image].src="./menu/r"+file+".gif";
  }