function dentro15() 
    { document.rollover15.src ="buttons/informations_att.gif"; }
  function fuori15() 
    { document.rollover15.src ="buttons/informations_pas.gif"; }