empilhar imagens aleatórias

pessoal,

tenho um sistema de slideshow em javascript e css, em que a estrutura do html fica bastante simples:

<img src="images/slideshow1.jpg" alt="Slideshow" width="726" height="374" />
<img src="images/slideshow2.jpg" alt="Slideshow" width="726" height="374" />
<img src="images/slideshow3.jpg" alt="Slideshow" width="726" height="374" />
<img src="images/slideshow4.jpg" alt="Slideshow" width="726" height="374" />

gostaria de saber como ficaria um php que embaralhasse a ordem dessas linhas, sem repetição, obviamente. minha intenção é ter uma sequência diferente da apresentação das imagens, a cada visita ao site (essa parte pode ter repetição, sem problemas, então eu não precisaria de nada com cookies).

me parece simples, no entanto eu não sei nada de php. eu pesquisei a função random do php, mas não sei como fazer sem repetição.

desde já obrigado.