session_start();
$rechten = $HTTP_SESSION_VARS[ses_rechten];
$contract_ID = $HTTP_SESSION_VARS[ses_contract_ID];
$gebruiker_ID = $HTTP_SESSION_VARS[ses_gebruiker_ID];
$gebrvolledigenaam = $HTTP_SESSION_VARS[ses_gebruiker_naam];
if ($rechten == 'geen' || $rechten == '')
{
    header('location: index.php');
    die('Login failed');
}

if ($_GET[traject_ID]!='') { $traject_ID = $_GET[traject_ID]; } else { $traject_ID = $_POST[traject_ID]; }
if (!is_numeric($traject_ID)) { die('Onmogelijk traject'); }
