function move_in(img_name) { document.getElementById(img_name).src="images/"+img_name+"On.gif"; }

function move_out(img_name) { document.getElementById(img_name).src="images/"+img_name+"Off.gif"; }