'; print_r($_SESSION); print_r($timings); isset($User) && print_r($User); } ?>