<!-- Hide script from old browsers

	if (document.images) {
		imgm1 = new Image
		imgRedm = new Image

		imgm1.src = "pics/proammapselect.gif"
		imgRedm.src = "pics/proammap.gif"

	}
	else {
		imgm1 = ""
		imgRedm = ""

		document.proammap = ""
	}
	
	// End hiding script from old browsers -->