qual'è il codice prima della riga 12?