meerdere plaatjes random uit map laden

$images = array(); //hier komen de images in
while (count($images) < 3)
{
   $img = randimage(.....);
   if(!in_array($img)) $images[] = $img;
}

$images = array(); //hier komen de images in
while (count($images) < 3)
{
   $img = randimage(.....);
   if(!in_array($img)) $images[] = $img;
}