function dentro10() 
    { document.rollover10.src ="buttons/history_att.gif"; }
  function fuori10() 
    { document.rollover10.src ="buttons/history_pas.gif"; }