-/* start a session, if it is not already running.
- * This way people don't have to log in all the times.
- * The session variables can also be read out from different
- * php scripts, so that the code can be easily split up across several files
- */
-session_start();
-
-/* done major error checking, output header of HTML page */