What is the first number in the zip code for the District of Columbia?