'; print_r($_SESSION); echo '';