题目描述

“小飞棍来喽”，小飞棍来喽是一个外网梗，原梗是“小飞机来喽”。这个梗的意思是“开始投喂食物”，是哄小宝宝吃饭时的小技巧。在宝宝不肯吃饭时，家长可以把食物模仿成小飞机的样子，通过游戏的方式，把食物送到孩子嘴里。之后在网上便出现了一些博主模仿的搞笑视频，然后就火了。

147不爱吃饭，必须要喊出"小飞棍来咯"才可以让147吃饭，小王担心147吃不饱，于是就开始给147投喂食物，已知目前一共有n种食物，147至少要吃x饱和值的食物才能吃饱，然后接下来会输出n行，每行分别输出每种食物的饱食值和每次小王学长喊得话，如果小王喊的是 "xiaofeigunlailou" ，那么147就会将食物吃掉，否则就不会吃掉食物。请你帮忙算算小王能不能把147喂饱呢，如果能，请输出"147 is full !"，否则输出"147 is hungry !"，并算出147还差多少饱和值才能吃饱。

输入

输入两个数n和x，接下来n行分别输入一个数m和一个字符串，分别表示每种食物的饱和值以及小王说的话。

输出

如果147学长能够吃饱的话就输出"147 is full !",否则就输出"147 is hungry !",并输出147还差多少饱和值才能吃饱。

样例1

5 10
6 waibibabu
3 xiaofeigunlailou
4 xiaofeigunlailou
5 ybb
7 woaichifan

147 is hungry !
3

样例2

3 5
2 xiaofeigunlailou
3 waibiwaibi
3 xiaofeigunlailou

147 is full !

数据范围

字符串的长度不超过30。

1<=n<=40000

0<=x<=2000000

0<=m<=100