{ "type": "FeatureCollection", "features": [ { "type": "Feature", "id": "way/1214690786", "properties": { "timestamp": "2023-10-11T01:25:21Z", "version": 1, "changeset": 142415541, "amenity": "hospital", "healthcare": "hospital", "name": "Hospital Municipal Eduardo Dias", "opening_hours": "24/7", "id": "way/1214690786" }, "geometry": { "type": "Polygon", "coordinates": [ [ [ -37.7646638, -4.5627832 ], [ -37.7630513, -4.5634823 ], [ -37.7631463, -4.5629333 ], [ -37.7630988, -4.5627279 ], [ -37.7632097, -4.5624712 ], [ -37.763289, -4.5618038 ], [ -37.7635029, -4.5623448 ], [ -37.7643389, -4.5620091 ], [ -37.7646638, -4.5627832 ] ] ] } } ] }