// JavaScript Document

Rollimage = new Array()
   
Rollimage[0] = new Image() 
Rollimage[0].src = "images/nav02_over.jpg"

Rollimage[1] = new Image()
Rollimage[1].src = "images/nav03_over.jpg"

Rollimage[2] = new Image()
Rollimage[2].src = "images/nav04_over.jpg"

Rollimage[3] = new Image()
Rollimage[3].src = "images/nav05_over.jpg"

Rollimage[4] = new Image()
Rollimage[4].src = "images/nav06_over.jpg"

Rollimage[5] = new Image()
Rollimage[5].src = "images/nav07_over.jpg"

Rollimage[6] = new Image()
Rollimage[6].src = "images/nav08_over.jpg"

Rollimage[7] = new Image()
Rollimage[7].src = "images/nav09_over.jpg"

Rollimage[8] = new Image()
Rollimage[8].src = "images/nav10_over.jpg"

function theEffectOver(theButton,theImg) {
  theButton.src = Rollimage[theImg].src;
  return true;
}

function theEffectOut(theButton,theImg) {
  theButton.src = theImg
  return true;
}