题目描述

小帆参加了升学考试，一共有 4 门科目，每门科目都会得到一个评级（$\texttt{ABCD}$ 之一）。

小帆面前有三种学校：示范高中、普通高中和职业学校。三者的录取门槛从高到低依次是示范高中、普通高中、职业学校。

如果小帆的 4 门科目全部拿到 $\texttt{C}$ 及以上的评级（即 $\texttt{A, B, C}$），他就可以进入普通高中，否则只能去职业学校。

更进一步，想要进入示范高中，需要小帆所有科目的评级都是 $\texttt{A}$ 或 $\texttt{B}$，并且至少有一门科目的评级为 $\texttt{A}$。

给定小帆每门课的评级，请回答小帆能够进入的录取门槛最高的学校。

输入格式

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

输出格式

一行一个字符串，表示答案。

假如小帆能上示范高中，输出 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}$ 其中之一。