function wijzig_reservering()
{
    if (wijzig_van() and wijzig_tot() and wijzig_aantal_pistolen() and wijzig_status() and wijzig_naam() and wijzig_achternaam() and wijzig_telnummer() and wijzig_email() and wijzig_postcode() and wijzig_huisnummer() and wijzig_straat() and wijzig_woonplaats()) {
    } else {
        print "mislukt.";
    }
}
function wijzig_reservering()
{
    if (wijzig_van() and wijzig_tot() and wijzig_aantal_pistolen() and wijzig_status() and wijzig_naam() and wijzig_achternaam() and wijzig_telnummer() and wijzig_email() and wijzig_postcode() and wijzig_huisnummer() and wijzig_straat() and wijzig_woonplaats()) {
        $_SESSION['status'] = TRUE;
        $_SESSION['message'] = "<div class=\"alert alert-success\" id=\"success-alert\">\n                                    <button type=\"button\" class=\"close\" data-dismiss=\"alert\">x</button>\n                                    <strong>Gelukt!</strong> &nbsp; Het wijzigen van de gegevens is gelukt!\n                                    </div>";
    } else {
        $_SESSION['status'] = TRUE;
    }
}