session_start();
$rechten = $HTTP_SESSION_VARS[ses_rechten];
$beheer = $HTTP_SESSION_VARS[ses_beheer];
$contract_ID = $HTTP_SESSION_VARS[ses_contract_ID];
$gebruiker_ID = $HTTP_SESSION_VARS[ses_gebruiker_ID];
if ($rechten != 'beheerder' || $beheer != 'ja')
{
    header('location: index.php');
    die('Login failed');
}