// JavaScript Document


IMG01 = "pics/but1.gif"
IMG02 = "pics/but2.gif"

function imgover(imgname){
     imgname.src = IMG01
}
function imgout(imgname){
     imgname.src = IMG02
}