The user\'s login is '.phpCAS::getUser().'.

'; // increment the number of requests of the session and print it echo '

request #'.(++$_SESSION['n']).'

'; ?>