one more miracle

I went through this rotating header thing myself. :D

function Page::print_custom_head()
{
	var string[] header_image;
	var int header_index=0;

	$header_image[$header_index++] = "HEADER IMAGE HERE";
	$header_image[$header_index++] = "HEADER IMAGE HERE";

	var string header_url = $header_image[rand($header_index) - 1];
	
	"""
	<style type="text/css">	
.headerimage {
    background-image: url("$header_url"); /* Header image URL */
}

     </style>

     """;
} 

Repeat the "HEADER IMAGE HERE" line as many times as you need it.