// 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(5)-1];
}
function pick_image2 ( )
{
  document.getElementById("JTPNad").src =  'images/PCDC' + [rand(10)-1] + '.jpg';
  //document.getElementById("JTPNad").getElementsByTagName("img")[0].src = '/images/PCDC' + [rand(4)-1] + '.jpg';
}