Y ahí están los 200.000 créditos sorteados por la lotería pública nacional.