function mouseOver (my_id) {
    	var source = "res/" + my_id + "_hv.png";
    	document.getElementById(my_id).src = source;
    }

    function mouseOut(my_id) {
    	var source = "res/" + my_id + ".png";
    	document.getElementById(my_id).src = source;
    }