greyb = new Image()
  greyb.src="greybutton.gif"

  redb = new Image()
  redb.src="redbutton.gif"

function over1(){
document.images.nav1image.src=redb.src
};

function out1() {
document.images.nav1image.src=greyb.src
};


function over2(){
document.images.nav2image.src=redb.src
};

function out2() {
document.images.nav2image.src=greyb.src
};



function over3(){
document.images.nav3image.src=redb.src
};

function out3() {
document.images.nav3image.src=greyb.src
};



function over4(){
document.images.nav4image.src=redb.src
};

function out4() {
document.images.nav4image.src=greyb.src
};