Tengo un formulario hecho en html, cuando lo envían se le asigna un folio. Inicialmente el folio se asignaba aleatoriamente pero ahora **necesito que comience asignar folios a partir de 0001**, (0002, 0003) y también validar que el correo ya fue registrado. Estos datos se guardan en un archivo. Adjunto una parte del código que tengo:

    
                      if(isset($_POST["titulo"]) && !empty($_POST["titulo"]) &&
                      isset($_POST["fecha"]) && !empty($_POST["fecha"])){
                       $aleatorio = rand(1, 30000);
                        $titulo = $_POST["titulo"];
                        $fecha = $_POST['fecha'];
    
                       //Creación de archivo y escritura:
                        $file = "datos.txt";
                        $datos = fopen($file, "a+");
                        fwrite($datos, "Folio: " . $aleatorio . ",");
                        fwrite($datos, " Titulo: " . $titulo . " |");
                        fwrite($datos, " Fecha: " . $fecha . " |");
                         fclose($datos);
    }
Podrían decirme alguna idea de cómo puedo solucionarlo?