if (document.images) {
	img1 = new Image();
	img2 = new Image();
	img3 = new Image();
	img4 = new Image();
	img1.src = "images/buttons/icon_sep26-over.gif";
	img2.src = "images/buttons/icon_sep27-over.gif";
	img3.src = "images/buttons/icon_sep28-over.gif";
	img4.src = "images/buttons/icon_amnesty-over.gif";
}