';
if($_POST[check]==1)
{
$ok = 1;
$ausgeben = 0;
if($_SESSION[fehler_name]=="#FF0000;" or $_SESSION[fehler_vorname]=="#FF0000;" or $_SESSION[fehler_strasse]=="#FF0000;" or $_SESSION[fehler_plz]=="#FF0000;" or $_SESSION[fehler_ort]=="#FF0000;")
{
if($ausgeben==0)
{
echo $formular;
$ausgeben = 1;
}
echo "