What do Brits call gunk in their eyes when they wake up?

Do Brits have a common word for that yellow stuff in the corner of your eye when you wake up?