Well, many of those holidays fall on a weekend so it could be unclear. My understanding is that it starts April 29 and goes through May 6. I guess that people would have to take three vacation days in the middle to get a full 10 days off.