84 millones 259 mil únicamente de la Procuraduría.