Authenticate(); echo "Hello from the other side, $netid."; echo "

Think of this as the main page of your application "; echo "after $netid has been authenticated."; ?>