9 , doc. E. Petrini , vestm.