/* script.js */

/**
 * Rotates the header image on each load.
 * 
 */
  	
function theme() {
  var i = Math.round(Math.random()*3);
  document.getElementById("wrapper").className="show_"+ i ;
}
var o = window.onload;
window.onload = function() {
  if (o != null) { o(); }
  theme();
}