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


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