Random Images (not typical, not CSS problem)…

I’d like to randomize the header image on my site here:

http://www.sadrhino.net

As far as I can tell, my header image is being pulled by this line of code:

<div id=”headerimg”></div> in the “header.php” file

All the scripts I’ve found so far mention using CSS or a line like <? PHP random_banner(); ?> to do this. Obviously mine is calling the image a different way.

Is there anyhting I can do?