How do you cope with boredom

How do you cope with boredom at work

Not having a social life or enough hobbies outside of work probably doesn't help