real 12.69
user 0.01
sys 0.02