function gif_over(img) {
	img.src=img.src.replace('.gif','r.gif');
};
function gif_out(img) {
	img.src=img.src.replace('r.gif','.gif');
};