// function convertToMapId(newRegion) {
// 	console.log("map id conversion triggered");
// 	for (var region in regionLibrary.mapRegions) {
// 		if (newRegion === regionLibrary.mapRegions[region]) {
// 			console.log("region ID is " + region);
// 			return region;
// 		}
// 	}
// }