qual'è il valore della variabile a1, stampato a video?