function rand ( n )
{
  return ( Math.floor ( Math.random ( ) * n + 1 ) );
}


// Store some random image URL's

var random_images = new Array ( );
random_images[0] = "images/logo-alabama-power.gif";
random_images[1] = "images/logo-bellsouth.gif";
random_images[2] = "images/logo-ebsco.gif";
random_images[3] = "images/logo-energen.gif";
random_images[4] = "images/logo-giattina.gif";
random_images[5] = "images/logo-southern-gas.gif";
random_images[6] = "images/logo-wachovia.gif";
random_images[7] = "images/logo-harbert.gif";
random_images[8] = "images/logo-mcwane.gif";

// Pick a random image from the list,
// and set the image source to point to the image

function pick_image ( )
{
  document.getElementById("random-image").src = random_images[rand(9)-1];
}