You cannot submit for this problem because the contest is ended. You can click "Open in Problem Set" to view this problem in normal mode.

牟宸瑞数

题目背景

牟宸瑞十分喜欢一种数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<=100000000$