if (document.images) {
	img1 = new Image();
	img2 = new Image();
	img3 = new Image();
	img4 = new Image();
	img5 = new Image();
	img6 = new Image();
	img7 = new Image();
	img8 = new Image();
	img1.src = "images/header-img1.jpg"
	img2.src = "images/header-img2.jpg"
	img3.src = "images/header-img3.jpg"
	img4.src = "images/header-img4.jpg"
	img5.src = "images/header-img1-thumb.jpg"
	img6.src = "images/header-img2-thumb.jpg"
	img7.src = "images/header-img3-thumb.jpg"
	img8.src = "images/header-img4-thumb.jpg"	
}