$num = rand(1,10); //Get a random number between 1 and 10, assuming 10 is the total number of header images you have
<div id="header" style="background:transparent url(images/.jpg) no-repeat top left;">