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

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