if (document.images) {
    // add images into this array
    imgNames = new Array ("nav/home.gif", "nav/home_over.gif",
		"nav/who.gif","nav/who_over.gif",
		"nav/services.gif", "nav/services_over.gif",
		"nav/casestudies.gif", "nav/casestudies_over.gif",
		"nav/awards.gif", "nav/awards_over.gif",
		"nav/articles.gif", "nav/articles_over.gif",
		"nav/newsreviews.gif", "nav/newsreviews_over.gif",
		"nav/workshops.gif", "nav/workshops_over.gif",
		"nav/links.gif", "nav/links_over.gif",
		"nav/about.gif", "nav/about_over.gif",
		"nav/community.gif", "nav/community_over.gif",
		"nav/alliances.gif", "nav/alliances_over.gif",
		"nav/contact.gif", "nav/contact_over.gif");

	for (i=0; i<imgNames.length; i++) {
		(new Image()).src = imgNames[i];
	}
}