$c]); } printf("%.3f\"\n", microtime(true) - $deb); } }