function jpg_over(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace(".jpg", "r.jpg")
};

function jpg_out(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace("r.jpg", ".jpg")
};

function gif_over(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace(".gif", "r.gif")
};

function gif_out(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace("r.gif", ".gif")
};