5 printf('<p class="warn">%s</p>'."\n\n", $message);
8 <form action="" method="post">
9 <input id="login" name="login" placeholder="Huisnummer" value="<?php
10 if (isset($_REQUEST['login'])) print htmlspecialchars($_REQUEST['login']);
12 <input id="pass" name="pass" type="password" value="" placeholder="Wachtwoord" />
13 <input type="submit" value="Log in" />