if (document.images) {

//Main Horizontal Nav

mainnav1over = new Image;
mainnav1over.src = "/images/mainnav/overview_over.gif";
mainnav1up = new Image;
mainnav1up.src = "/images/mainnav/overview_up.gif";

mainnav2over = new Image;
mainnav2over.src = "/images/mainnav/publications_over.gif";
mainnav2up = new Image;
mainnav2up.src = "/images/mainnav/publications_up.gif";

mainnav3over = new Image;
mainnav3over.src = "/images/mainnav/projects_over.gif";
mainnav3up = new Image;
mainnav3up.src = "/images/mainnav/projects_up.gif";

mainnav4over = new Image;
mainnav4over.src = "/images/mainnav/news_over.gif";
mainnav4up = new Image;
mainnav4up.src = "/images/mainnav/news_up.gif";


//matthew and ro are trying to fix the navigation. they cchanged the following code:
/*mainnav4over = new Image;
mainnav4over.src = "/images/mainnav/people_over.gif";
mainnav4up = new Image;
mainnav4up.src = "/images/mainnav/people_up.gif";*/


mainnav5over = new Image;
mainnav5over.src = "/images/mainnav/topics_over.gif";
mainnav5up = new Image;
mainnav5up.src = "/images/mainnav/topics_up.gif";

mainnav6over = new Image;
mainnav6over.src = "/images/mainnav/careers_over.gif";
mainnav6up = new Image;
mainnav6up.src = "/images/mainnav/careers_up.gif";

mainnav7over = new Image;
mainnav7over.src = "/images/mainnav/contracts_over.gif";
mainnav7up = new Image;
mainnav7up.src = "/images/mainnav/contracts_up.gif";

mainnav8over = new Image;
mainnav8over.src = "/images/mainnav/contact_over.gif";
mainnav8up = new Image;
mainnav8up.src = "/images/mainnav/contact_up.gif";

mainnav9over = new Image;
mainnav9over.src = "/images/mainnav/sitemap_over.gif";
mainnav9up = new Image;
mainnav9up.src = "/images/mainnav/sitemap_up.gif";

newsover = new Image;
newsover.src = "/images/homenav/airnews_over.gif";
newsup = new Image;
newsup.src = "/images/homenav/airnews_up.gif";

careerover = new Image;
careerover.src = "/images/homenav/more_career_over.gif";
careerup = new Image;
careerup.src = "/images/homenav/more_career_up.gif";

moreover = new Image;
moreover.src = "/images/more_over.gif";
moreup = new Image;
moreup.src = "/images/more_up.gif";

more2over = new Image;
more2over.src = "/images/more2_over.gif";
more2up = new Image;
more2up.src = "/images/more2_up.gif";

}