
real	0m12.677s
user	0m12.520s
sys	0m0.060s
