// JavaScript Document
// Select random header image

function rand(n)
{
  return (Math.floor(Math.random()*n+1));
}
function pick_image()
{
  document.getElementById("randomPic").src = '/images/slideshow' + [rand(12)-1] + '.jpg';
}