An area ID in Overpass is the OSM relation ID + 3600000000
This information is kind of buried in the Overpass API wiki page documenting the available filters: https://wiki.openstreetmap.org/wiki/Overpass_API/Overpass_QL#By_area_.28area.29
The OSM relation ID can be seen in two places:
- Visit https://www.openstreetmap.org and search for the city
- Click on its entry and you will be taken to a
https://www.openstreetmap.org/relation/SOME_NUMBER_HERE
page - The relation ID is in the URL as "SOME_NUMBER_HERE" in the bullet point above
- The relation ID will also be in parentheses next to the city name in the left column