I usually have a 13-hour workday. But at times, we get lucky when we wind up in 8 or 10 hours.