<?php
session_start();
/* Use $_SESSION for session data */
?>