Si potrebbe mettere dei riferimenti ai banner in un array e poi rimescolarlo con la funzione shuffle()

http://it.php.net/manual/en/function.shuffle.php