if ($_FILES["upfile"]["size"]>1){
        preg_match("/(\.\w+)$/",$_FILES["upfile"]["name"],$match);
        $typ = $match[1];
        if (in_array(strtolower($typ), array(".gif",".jpg",".jpeg"))){ 
        $dateiname = $bezeichnung .$datum.$time. $typ;
        $bildpfad = preg_replace("/\/[^\/]+$/","",$_SERVER["SCRIPT_FILENAME"])."/cgi-bin/Docu/";
        copy ($_FILES["upfile"]["tmp_name"],$bildpfad.$dateiname);
}
}
else
echo "<p class='normal'>Falscher Dateiformat gewählt oder kein Dokument angehängt.";