function imgOn(o){o.src = o.src.replace('.gif', '_01.gif');}
function imgOff(o){o.src = o.src.replace('_01.gif', '.gif');}