Grazie ad Andrea M.
errore di stampa: il numero 1, invece che rosso, dovrebbe essere blu.