Haiku is a short Japanese poetic form which typically meets the following three conditions:

• The essence of haiku is "cutting" (kiru). This is often presented as the putting together of two images or ideas, separated by a cutting word (kireji). This is a kind of verbal punctuation mark that indicates the time of the separation, and gives color to the way in which the composite elements are connected.

• The traditional haiku consists of 17 on (also referred to as morea) in three phrases of respectively 5, 7 and 5 on. Each of these three phrases can end with the cutting word. Although it is often said that a haiku is made out of 17 syllables, this is not entirely correct, as syllables and on are not the same.

• A reference to the seasons (kigo), which is usually taken from a saijiki, a comprehensive list of seasonal words. Most kigo - but certainly not all - also refer to nature. This, combined with the history of haiku in pre-industrial Japan, gave rise to the mistaken impression that haiku should be nature-bound poems.

The poetic form originated from older forms in Japan in the 17th century because of the rivalry between several great poets, of whom Matsuo Basho probably is the best known master. The application back then was a hokku, the opening stanza of the renga, a linked poem, including the tan renga or as the first part of the tanka. At the end of the 19th century Masaoka Shiki finally made the opening stanza hokku into an independent poem: the haiku. Strictly speaking, the older poems of this kind should therefore be called hokku, even though it was not uncommon for the honorable beginning verse to be written without the expectation that a renga would follow. One of the most famous haikus, actually a hokku, is written by Matsuo Basho and reads:

furu ike ya
kawazu tobikomu
mizu no oto

A possible translation could be:

at the age old pond
a frog leaps into water
a deep resonance.

Input

The input consists of the three phrases of a poem, each on a separate line.

Output

If the lines of the poem consist of 5, 7 and 5 on, respectively, then the text "This is a haiku." should appear. Otherwise the text "This is not a haiku." should appear. Although not entirely correct, the number of on in a text should be determined by the number of sequences of vowels (a, e, i, o, u or y) in the text. Make no distinction between uppercase and lowercase letters.

Example

Input:

 snow mixes with rain
 my mother keeps calling me
 by my brother's name

Output:

This is a haiku.