image1 = new Image();
image1.src = "resources/nav2_04.jpg";

image2 = new Image();
image2.src = "resources/nav2_05.jpg";

image3 = new Image();
image3.src = "resources/nav2_06.jpg";

image4 = new Image();
image4.src = "resources/nav2_07.jpg";

image5 = new Image();
image5.src = "resources/nav2_08.jpg";

image6 = new Image();
image6.src = "resources/nav2_09.jpg";

image7 = new Image();
image7.src = "resources/nav2_10.jpg";

image8 = new Image();
image8.src = "resources/nav2_11.jpg";

function change(img_name,img_src) {
	document[img_name].src=img_src;
}