// JavaScript Document
// Select random header image

function rand ( n )
{
  return ( Math.floor ( Math.random ( ) * n + 1 ) );
}
function pick_image ( )
{
  document.getElementById("header").className =  'image' + [rand(4)-1];
}