'; print_r($_SESSION); print_r($timings); } ?>