Totale di 8 miliardi, attualmente ne sono stati sbloccati 1,2 miliardi, giusto?