I'm more surprised that 10,000 people only represented 6% of their workforce.