Wechselnde Headerbilder

Nach drei Tagen rumfummeln und großem Grübeln ist es mir endlich gelungen, dass die Hintergrundbilder im Kopfteil zufällig wechseln.

Per CSS wird anstelle eines Background-image, eine PHP aufgerufen welche die Bildernamen aus einer Text-Datei ausliest und dann die entsprechende Bilder an den Browser ausgibt.