// Store some random image URL's
var random_images = new Array ( );
random_images[0] = "/images/marketing-image-left-1.jpg";
random_images[1] = "/images/marketing-image-left-2.jpg";
random_images[2] = "/images/marketing-image-left-3.jpg";
random_images[3] = "/images/marketing-image-left-4.jpg";
// Pick a random image from the list,
// and set the image source to that image

function pick_image ( )
{
    var randNum = Math.floor(Math.random()*4);
    var img = document.getElementById("rotatingimage");
    img.src = random_images[randNum];
/*
    document.getElementById("rotatingimage").src = random_images[rand(4)-1];
*/
}

//window.onload=pick_image();

function onLoad()
{
    pick_image();
}