<!--

function setMenuImage(menuItem, pictureUrl) 
{
    document.getElementById("nav_" + menuItem).src = pictureUrl;
}

function changeImage(elementId, pictureUrl)
{
    document.getElementById(elementId).src = pictureUrl;
}

function changeMenuItemClass(menuItem, className)
{
    document.getElementById("nav_" + menuItem).className = className;
}

function preloadImage(imageUrl, w, h)
{
    var pic1 = new Image(w, h); 
    pic1.src = imageUrl;    
}

// -->