Workload of window cleaners using ladders differing in rung separation