Rotate header.jpg

WordPress 1.5 Strayhorn
I could figure out how to rotate a picture in my site-bar but also want the same trick for the header. The sidebar picture is in a PHP file so easy to do with the rotate.php (on the bottom of this post) and using the calling code that follows.

see

My question is using the same technique how do I do this in a css file ? I’m not that familiar with CSS and know just a little of PHP, HTML I know the most of.


<img src="http://website.com/blog/rotate/rotate.php" width="180" height="180" border="0" alt="Random picture"


ROTATE.PHP
<?php
/*
By Matt Mullenweg > http://photomatt.net
Inspired by Dan Benjamin > http://hiveware.com/imagerotator.php
Latest version always at:
http://photomatt.net/scripts/randomimage
*/
// Make this the relative path to the images, like "../img" or "random/images/".
// If the images are in the same directory, leave it blank.
$folder = '';
// Space seperated list of extensions, you probably won't have to change this.
$exts = 'jpg jpeg png gif';
$files = array(); $i = -1; // Initialize some variables
if ('' == $folder) $folder = './';
$handle = opendir($folder);
$exts = explode(' ', $exts);
while (false !== ($file = readdir($handle))) {
foreach($exts as $ext) { // for each extension check the extension
if (preg_match('/\.'.$ext.'$/i', $file, $test)) { // faster than ereg, case insensitive
$files[] = $file; // it's good
++$i;
}
}
}
closedir($handle); // We're not using it anymore
mt_srand((double)microtime()*1000000); // seed for PHP < 4.2
$rand = mt_rand(0, $i); // $i was incremented as we went along
header('Location: '.$folder.$files[$rand]); // Voila!
?>