Passage: The city has an elevation of 382.2 m (1,254 feet). In a 1984 census the city's population was 17,320.  Al Jawf receives almost no rain whatsoever, averaging only 2.5mm (.1 inch) per year. Summer high temperatures average above 37.8 °C (100 °F).

Question: what was the city's population according to the 1984 census?
17,320