<?php

session_start();
echo("Welcome to the user area, $user!");
?>