Do any of you know the song poker is fun?