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