map_header HallOfFame, HALL_OF_FAME, GYM, 0
	end_map_header