who knew that zip codes could have leading zeros