13.88 real         0.00 user         0.00 sys