function gif_over(src) {
 src.childNodes[0].src=src.childNodes[0].src.replace('.gif','r.gif');
}

function gif_out(src) {
 src.childNodes[0].src=src.childNodes[0].src.replace('r.gif','.gif');
}