牟宸瑞数

题目背景 牟宸瑞十分喜欢一种数n，n里至少包含3个1，2个4和1个5（顺序无所谓） 比如：114514是一个牟宸瑞数，因为里面满足了条件；

11541884154也是一个牟宸瑞数；

而113514不是，因为它少了1个4。

题目描述

判断n是不是一个牟宸瑞数。

输入格式

一个整数n。

输出格式

如果n是一个牟宸瑞数，输出“It's a muchenrui number.”，否则输出“It's not a muchenrui number.”

样例

输入样例#1

114514

输出样例#1

It's a muchenrui number.

输入样例#2

114545488

输出样例#2

It's not a muchenrui number.

数据范围 $n<=1000000$