#punch and judy show #mr punch crocodile #puppet booth #seaside entertainment #that's the way to do it!