Deze code in de PHP is belangrijk omdat het de connectie met de
database betreft, mocht die ooit veranderen:

$con = mysql_connect("tornado.few.vu.nl","maarten","24966059");