function mouseoverImg(a){
   		var img = a;
    	var src = img.src;
    	img.src = img.src.replace('.gif','_over.gif');
    }

    function mouseoutImg(a){
    	var img = a;
    	var src = img.src;
    	img.src = img.src.replace('_over.gif','.gif');
    }