generar numeros aleatorios sin repeticion

[GatorV]

Cierto aparte debería ir al revez:

Código php:

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

Saludos.