Joke

A joke is a short story or an ironic depiction of a situation, told with the intent of being humorous. A joke usually ends with a punch line that makes it funny, and it can also be a single sarcastic phrase. The word "joke" is sometimes used as slang for a person or thing that nobody takes seriously or that is seen as a failure. A practical joke, or prank, differs from a spoken one in that its humor is mainly physical rather than verbal — for example, putting salt in the sugar bowl.

Jokes are usually meant to entertain friends and onlookers. The hoped-for response is laughter; when that does not happen, the joke is said to have "fallen flat".

Jokes have been part of human culture since at least 1900 BCE. A fart joke from ancient Sumer is currently believed to be the world's oldest known joke.

Jokes can also help people identify with their work. For example, 911 call-takers often crack jokes about the incongruous, threatening, or tragic situations they face every day; this helps them cope and bond with their role. Managers, too, use humor strategically — some try to suppress it, believing it lowers productivity, while others deliberately encourage it through pranks, pajama or dress-down days, and committees meant to make the workplace more fun.

In this problem you must count how many times the word joke (all letters lower-case) appears in the input as a substring. The whole input is treated as one piece of text, and matches are exact substring matches, so a joke split across a line break (for example jo at the end of one line and ke at the start of the next) does not count.

The input may contain any text over one or more lines. Its total size will not exceed 20 KB.

Print a single number — the number of times joke appears in the input as a substring.