题目描述

ZngivaeL 去中考。他有 4 门科目需要考试，每门都有一个评级（$\texttt{ABCD}$）。

Zngivael 有三种去向选择：重点高中、普通高中和职业高中。三所高中的录取难度由高到低依次为重点高中、普通高中、职业高中。

如果 Zngivael 的 4 门科目全部得到了 $\texttt{C}$ 及以上的评级（$\texttt{A, B, C}$），则可以选择前去普通高中，否则只能选择前去职业高中。

进一步地，进入重点高中需要 Zngivael 所有科目的评级都是 $\texttt{A}$ 或 $\texttt{B}$，以及至少有一门科目的评级是 $\texttt{A}$。

给定可爱 ZngivaeL 的每门课的评级，询问 ZngivaeL 能上的录取难度最高的高中。

输入格式

输入一行，包含四个 $\texttt{A} \sim \texttt{D}$ 之间的大写字母，表示 ZngivaeL 的各科评级。

输出格式

一行一个字符串，表示每一组数据的答案。

假如 ZngivaeL 能上重点高中，则输出 I'm so happy.；如果能上普通高中但不能上重点高中，则输出 This is ok.；如果只能上职业高中，则输出 Never give up.。

ABCD

Never give up.

BBBB

This is ok.

AAAA

I'm so happy.

CCCA

This is ok.

提示

样例解释

样例解释 #1： 因为有一个科目评级为 $\texttt{D}$，所以只能上职业高中。

样例解释 #2： 所有科目评级为 $\texttt{B}$。因为没有一门科目评级为 $\texttt{A}$，所以能上普通高中但不能上重点高中。

数据规模与约定

保证输入的四个字符均为大写字母 $\texttt{A, B, C, D}$ 其中之一。