[cdf]

Where I worked, official hours are 8.30 to 6. In Asia of course.

[sanderjd]

Is the official work week 47.5 hours?

In the U.S., while I think it's true that people tend to work closer to 50 hours, we pay lip service to the "40 hour work week".