var imagelist;
var anchoringlist;
if (document.images) { 
        // list of images to be preloaded
        imagelist = new Array("images/nav_about_on.gif", "images/nav_about.gif", "images/nav_testimonials_on.gif", "images/nav_testimonials.gif", "images/nav_contact_on.gif", "images/nav_contact.gif");
        anchoringlist = new Array();
        for (var i=0; i< imagelist.length; ++i ) {
		anchoringlist[i] = new Image();
		anchoringlist[i].src=imagelist[i];
        }
}