function imgover(imgname){
imgname.src = "graphics/arrow.gif"
}
function imgout(imgname){
imgname.src = "graphics/blank.gif"
}
// End -->