<?php for ($i = 0; $i < 10; $i++) { // for body }
Please note that all pasted data is publicly available.