Wat is de gemiddelde vrijstelling voor OR-leden?

"Onze onderneming telt ruim 900 medewerkers die op acht locaties werkzaam zijn. De OR is met dertien leden volledig bezet. Er zijn drie vaste OR-commissies. Hoeveel uur zijn OR-leden in dit soort ondernemingen gemiddeld vrijgesteld?"