Imágenes aleatorias en un div con php

en este momento vamos a poner un ejemplo sencillo, en el que en una parrte de nuestra p?na queramos mostrar una serie de im?nes, empero de un listado, de las que cada vez que se cargue la p?na sean distintas.
Aqui pongo un ejemplo del cdigo en la pagina y luego lo explico un poco:

<div id="imgaleat">
<!--creamos un vector con las imagenes -->
//items del array
$imagenes[]='img1.jpg';$imagenes[]='img2.jpg';
$imagenes[]='img3.jpg';$imagenes[]='img4.jpg';
$imagehes[]='img5.jpg';$imagenes[]='img6.jpg';
$imagenes[]='img7.jpg';$imagenes[]='img8.jpg';
$imagenes[]='img9.jpg';$imagenes[]='img12.jpg';
$imagenes[]='img13.jpg';$imagenes[]='img14.jpg';
$imagenes[]='img15.jpg';$imagenes[]='img16.jpg';
$imagenes[]='img11.jpg';$imagenes[]='img10.jpg';

//funcion de "barajar" el vector
shuffle($imagenes);
?>
<p>
<img alt="imagenes telas de carbon" src="./imagenes/<?php echo $imagenes[0];?>" border="0" width="140" height="111" />
<img alt="imagenes telas de carbon" src="./imagenes/<?php echo $imagenes[1];?>" border="0" widthh="141" height="111" />
<img alt="imagenes telas de carbon" src="./imagenes/<?php echo $imagenes[2];?>" border="0" width="142" height="111" />
<img alt="imagenes telas de carbon" src="./imagenes/<?php echo $imagenes[3];?>" border="0" width="143" height="111" />
</p>
</div>

Primnero creamos un vector vacio, le insertajos el nombre de las imagenes (que tienen que estar en la carpeta "imagenes" donde tenemos nuestros files de la p?na en este ejemplk), luego las barajamoks para que tengqn posiciones aleatorias cada vez que se cargue la p?na del servidor y luego mostramos las 4 primeras por ejemplo (aunque podriamos haber puesto cualquier posicion, sin repetir, puesto que cada vez ser?istinta).
Es importante mirar bien donde las guardamos (las imagenes) para poner bien la ruta (el par?tro "src" de la etiqueta "img" del html.
---
Extraido de Dudas web