// JavaScript Document

    function over_state(img_name,img_src) {
	document[img_name].src=img_src;
	}	
	function out_state(img_name,img_src) {
	document[img_name].src=img_src;
	}