function map_polygon(map, stroke_color, fill_color, point_list) {
	var geomAry = new Array(); 
	geomAry = point_list.split('|'); 
	var XY = new Array(); 
	var points = []; 
	for (var i = 0; i < geomAry.length; i++) { 
		XY = geomAry[i].split(','); 
		points.push( new google.maps.LatLng(parseFloat(XY[1]),parseFloat(XY[0]))) ; 
	} 
	poly = new google.maps.Polygon({ paths: points, strokeColor: stroke_color, strokeOpacity: 1, strokeWeight: 1, 
		fillColor: fill_color, fillOpacity: 0.2 });
  poly.setMap(map);
}