session_start();
if (!session_is_registered("SR"))
{
// if session check fails, invoke error handler
header("Location: reservation.php");
exit();
}
$ID = $_SESSION['FID'];
$Semester = $_GET['semester'];
$FirstTime = isset($_GET['f']) ? $_GET['f'] : "0";
include("../include/dbconfig.php");
$connection = mysql_connect($db_host, $db_user, $db_pass) or die ("Unable to connect!");
mysql_select_db($db_name);
print <<Change my password