function hover_img(obj) {
	var source = obj.src;
	source = source.replace("01", "02");
	obj.src = source;
}

function out_img(obj) {
	var source = obj.src;
	source = source.replace("02", "01");
	obj.src = source;
}