Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/54570/how-to-get-the-element-id-for-a-given-gps-coordinate/54579