function swapImage(image, reference) {
	if(document.all) {
		document.all[image].src = reference;
	}
	else if(document.images) {
		document.images[image].src = reference;
	}
}


image1 = new Image();
image1.src = "images/nav_overview_on.gif";
image2 = new Image();
image2.src = "images/nav_0verview.gif";
image3 = new Image();
image3.src = "images/nav_avionics_on.gif";
image4 = new Image();
image4.src = "images/nav_avionics.gif";
image5 = new Image();
image5.src = "images/nav_refurb_on.gif";
image6 = new Image();
image6.src = "images/nav_refurb.gif";
image7 = new Image();
image7.src = "images/nav_news_on.gif";
image8 = new Image();
image8.src = "images/nav_news.gif";
image9 = new Image();
image9.src = "images/nav_staff_on.gif";
image10 = new Image();
image10.src = "images/nav_staff.gif";
image11 = new Image();
image11.src = "images/nav_contact_on.gif";
image12 = new Image();
image12.src = "images/nav_contact.gif";