Potresti utilizzare un linguaggio lato server, tipo PHP. Userei un algoritmo simile:
  1. creazione di un array in cui memorizzare i percorsi di tutte le immagini;
  2. generazione di un numero random compreso tra 0 e il numero di elementi dell'array (meno uno);
  3. associazione del percorso immagine (pescato casualmente dall'array) all'attributo src del banner.

Prova a proporre questo algoritmo nel forum di PHP per ottenere lo script relativo.