13.27 real         0.01 user         0.00 sys