Valg af tilfældigt billede

Jeg har på min hjemmeside (ps3fan.dk) et billede i toppen af siden som jeg gerne vil have til at skifte hver gang man refresher siden. Jeg har 5 forskellige billeder dertil. Men jeg vil gerne have lidt hjælp, for er ikke super god til PHP..

Her er den nuværende kode:

udklip fra theme.php:

$HEADER = "
<div id='wrapper'>
<div id='top'>
<div id='top_l'>
<div id='top_r'>
</div>
</div>
</div>
<div id='header'>
<div id='navigation'>


Udklip fra style.css:

/* header */

#header { height: 117px; background: url(images/header.png) no-repeat top; }

Det er billedet header.png som jeg skal have til at skifte ramdon. De andre billeder ligger i samme mappe og hedder header1.png, header2.png osv.

Kan man lave dette i selve ccs filen, eller skal man kode det i theme.php filen?
Håber i har fået info nok til at kunne hjælpe.