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> Het wijzigen van de gegevens is gelukt!\n </div>";
} else {
$_SESSION['status'] = TRUE;
}
}