Lucky Otto and the Hat