<?php include '../util.inc'; start('Your Session Number');

session_start();
$sid = session_id();
$mike = 2887;
$_SESSION['mike'] = $mike;
echo "Greetings.  Your randomly-assigned session number is $sid,
and \$mike is $mike.<p>\n";
echo "You may now go to the <a href=\"p4.php\">next page</a>\n";
?>
</body>
</html>