generar numeros aleatorios sin repeticion

[GatorV]

Pues podrías hacer algo así:

Código php:

$aleatorios = array();
$i = 0;
do {
     $aleatorio = rand(4444, 9999);
     if(!in_array( $aleatorios, $aleatorio ) ) {
            $aleatorios[] = $aleatorio;
     }
     $i++;
} while($i < 1000);
 

Saludos.