$stromingvar = $_POST['stroming'];
$stromingvarint = (int) $stromingvar;
$result = mysql_query( "SELECT id, docent, vak, lokaal, datum, richting, opmerkingen FROM toetsrooster WHERE richting=$stromingvarint" );