640,000: Number of USPS employees working to deliver the holidays for customers in 2017