function menuOver(pont) {
    var oldsrc = pont.src;
    pont.src = oldsrc.replace(/.gif/,"_o.gif");
}
function menuOut(pont) {
    var oldsrc = pont.src;
    pont.src = oldsrc.replace(/_o.gif/,".gif");
}