function navover(nom)
{
 document[nom].src = '/images/nav_'+nom+'.jpg';
}


function navout(nom)
{
 document[nom].src = '/images/nav2_'+nom+'.jpg';
}