// Map handles

var Maps = new Array();

Maps['north'] = new Image();
Maps['north'].src = "/img/map_north.gif";
Maps['south'] = new Image();
Maps['south'].src = "/img/map_south.gif";
Maps['center'] = new Image();
Maps['center'].src = "/img/map_center.gif";
Maps['jerusalem'] = new Image();
Maps['jerusalem'].src = "/img/map_jerusalem.gif";
Maps['normal'] = new Image();
Maps['normal'].src = "/img/map.gif";

function RollOver(which) {
	var themap = document.getElementById("map");
	themap.src = Maps[which].src;
}

function Restore() {
	document.getElementById("map").src = Maps['normal'].src;
}