Hey guys, did you hear about the poker player who got eaten by a crocodile? He really should have folded.