Boredom Induced Productivity Loss

I wonder what amount of GDP is lost every year due to workplace boredom. Boredom. Boredom. Boredom. Boredom. Boredom. Boredom.