Authenticate(); echo "Howdy, $netid."; echo "

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