<!-- jive script does not work with caveman browsers
if (document.images) {
        var about = new Image;
        about.src = "/images/nav/about.gif";
        var about_on = new Image;
        about_on.src = "/images/nav/about_on.gif";
        
        var products = new Image;
        products.src = "/images/nav/products.gif";
        var products_on = new Image;
        products_on.src = "/images/nav/products_on.gif";
        
        var services = new Image;
        services.src = "/images/nav/services.gif";
        var services_on = new Image;
        services_on.src = "/images/nav/services_on.gif";
        
        var contact = new Image;
        contact.src = "/images/nav/contact.gif";
        var contact_on = new Image;
        contact_on.src = "/images/nav/contact_on.gif";
        
}	
function jiveIn(imgName)       {
        document.images[imgName].src = eval(imgName + "_on.src");
}
function jiveOut(imgName)      {
        document.images[imgName].src = eval(imgName + ".src");
}
// la fin -->