image0          = new Image (660, 112);
image0.src      = "images/navhint_blank.gif";

image1          = new Image (660, 112);
image1.src      = "images/navhint_images.gif";

image2          = new Image (660, 112);
image2.src      = "images/navhint_cdrom.gif";

image3          = new Image (660, 112);
image3.src      = "images/navhint_editions.gif";

image4          = new Image (660, 112);
image4.src      = "images/navhint_reviews.gif";

image5          = new Image (660, 112);
image5.src      = "images/navhint_order.gif";

image6          = new Image (660, 112);
image6.src      = "/images/navhint_digitallab.gif";

image7          = new Image (660, 112);
image7.src      = "/images/navhint_front.gif";

image8          = new Image (660, 112);
image8.src      = "/images/navhint_studio.gif";

image9          = new Image (660, 112);
image9.src      = "/images/navhint_jobs.gif";


function change (imgName) {
        image = eval (imgName + ".src");
        document ["foo"].src = image;
}