Mostrar archivos aleatoriamente

[Goole]

Bueno, una vez más tengo que recurrir a vosotros. Vereis, quiero que en una zona de mi página aparezca un banner en flash, pero que cada vez que se cargue la página sea un banner distinto. ¿Cómo podria hacerlo por php? Supongo que habra que meter las rutas a esos archivos en una base de datos y luego mediante algun codigo que obtenga esas rutas aleatoriamente, ¿no?
Gracias por adelantado