7.11 real         0.04 user         0.00 sys
        8.20 real         0.05 user         0.00 sys
        7.12 real         0.03 user         0.00 sys