Background

字符提取（words）

给定一个长度不超过 1000的字符串s，字符串s中的每个字符均为小写英文字母或数字，问：是否能从字符串s中取出8个字符，并将这 8个字符拼成字符串hetao101？（可以交换字符的顺序）

【输入格式】

输入共一行，包含一个长度不超过 1000的字符串s。数据保证字符串s中仅有小写英文字母和数字。

【输出格式】

如果可以从字符串中取出8个字符拼成hetao101，输出hetao101；否则，输出so sad!。

【样例1输入】

1hemu0taozi1

【样例1输出】

hetao101

【样例1解释】

可以从字符串1hemu0taozi1中提取出一个h（第2个字符）、一个e（第3个字符）、一个t（第7个字符）、一个a（第8个字符）、一个o（第9个字符）、两个1（第1、第12个字符）、一个0（第6个字符）拼成hetao101。

【样例2输入】

hetao012345

【样例2输出】

so sad!

【样例2解释】

字符串hetao012345中只存在一个字符1，而拼成hetao101需要两个字符1，故而无法拼成字符串hetao101。

【样例3】

见选手目录下的words/words3.in与words/words3.ans（见CCF官方网站）。

【数据范围与提示】

设 |s| 为字符串s的长度，则：

对于20% 的数据，1≤|s|≤10；

对于40% 的数据，1≤|s|≤100；

对于100% 的数据，1≤|s|≤1000。

在本题目中，

拼成字符串hetao101需要字符h、e、t、a、o、0各一个，需要字符1两个，因此我们可以统计一下这些所需的字符在输入的字符串s中出现的次数。只要每个字符出现的次数均达到我们的需求（字符h、e、t、a、o、0的出现次数均大于等于1，字符1的出现次数大于等于2），就视为可以拼成hetao101；否则，就无法拼成。

Limitation

1s, 1024KiB for each test case.