PHP Benchmark script for PHP5~