And a football world cup game just ended.