/* Escapezone Javascript functions */

	function replace_image(image_id, image_location) {
		document.getElementById(image_id).src = image_location;
		return(false);
	}

