More than four billion eight hundred million dinars, the customs revenues of yesterday