";
}
if (! isset ( $_POST ["verzendbutton"] ) || ($_POST ["verzendbutton"] != "verzenden")) {
?>
Vul hier het juiste type in!
";
} else { // in alle andere gevallen dus typecode is correct ingevoerd
// Check of er reeds typesnrs in de sessie staan
if (isset ( $_SESSION ["typenrs"] )) {
// Zoja, voeg de nieuwe er onder toe
$_SESSION ["typenrs"] = $_SESSION ["typenrs"] . "
" . $_POST ["typenrs"];
} else {
// Zonee, start met met ingevoerde typenr
$_SESSION ["typenrs"] = $_POST ["typenrs"];
}
echo "Bedankt voor het zoeken, je hebt het type nummer " . $_POST ["typenrs"] . ", gezocht!";
?>