Randomizar 4 fotos como se fossem banners

É o seguinte preciso exibir 4 imagens tipo banners, mas precisa aparecer somente 4 de forma randomizada. Por exemplo se eu tiver 8 imagens ele precisa pegar 4 entre as 8 deu pra entender?

As imagens são em jpg e salvas no diretório pra facilitar a manutenção.

Eu pretendia pegar o total de imagens salvando em um txt. (&n=8). Assim eu saberia o total de imagens que poderia randomizar.

Eu tentei utilizar comandos ARRAY mas não consegui. Alguém conhece um sistema semelhante pra me ajudar.

Pelo menos me orientar?????