IMG01 = "/images/on.gif"
IMG02 = "/images/off.gif"
IMG03 = "/images/on.gif"
IMG04 = "/images/off.gif"
IMG05 = "/images/on.gif"
IMG06 = "/images/off.gif"
IMG07 = "/images/on.gif"
IMG08 = "/images/off.gif"

function imgover(imgname)
{
     imgname.src = IMG01
     imgname.src = IMG03
     imgname.src = IMG05
     imgname.src = IMG07
}

function imgout(imgname)
{
     imgname.src = IMG02
     imgname.src = IMG04
     imgname.src = IMG06
     imgname.src = IMG08
}