Does anyone know what the CVE program was costing per year? I searched around a bit, but wasn't able to find the number.