Benchmark-1.2.7/doc/timer_example.php
