function jpg_over(img) {
	img.src=img.src.replace('.jpg','r.jpg');
};
function jpg_out(img) {
	img.src=img.src.replace('r.jpg','.jpg');
};