var numImages = 5;
var images = new Array(numImages);
var image_timeout_handle = null;
images[0] = "sequoia.png";
images[1] = "sequoia2.png";
images[2] = "mobile.png";
images[3] = "painting.png";
images[4] = "convexloaf.png"; // width=\"200\" height=\"133\"";

function image_load() {
    image_timeout_handle = setTimeout("random_image()", 60000);
    var l = document.getElementById("myimage");
    l.onmouseover = cancel_random_image;
    l.onmouseout = renew_random_image;
}

function cancel_random_image() {
    if (image_timeout_handle != null) {
        clearTimeout(image_timeout_handle);
        image_timeout_handle = null;
    }
}

function renew_random_image() {
    if (image_timeout_handle == null) {
        setTimeout("random_image()", 1000);
    }
}

function random_image() {
    var l = document.getElementById("myimage");
    l.setAttribute("src", images[Math.round(Math.random()*numImages)%numImages]);
    image_timeout_handle = setTimeout("random_image()", 60000);
}

