stats: Output also the total number records