• محدودیت زمان: ۱ ثانیه
• محدودیت حافظه: ۲۵۶ مگابایت

علی بعد از روز سیزده به در می‌خواهد سمنوی سفره هفت‌سین خانه را بخورد. آن‌ها سمنو را از سوپرمارکت خریده‌اند که نام برند آن یک رشته $s$ متشکل از حروف کوچک انگلیسی است. سمنو بیمه ابوالفضل است اگر در نام برند آن از حرف m استفاده نشده باشد.

سمنو نماد قدرت، خیر و برکت است.

برای مثال سمنوهای برند bitpin بیمه ابوالفضل هستند، ولی سمنوهای برند samanoo بیمه ابوالفضل نیستند. در ورودی به شما نام برند سمنو داده می‌شود، به علی بگویید که این سمنو بیمه ابوالفضل است یا خیر.

ورودی

در سطر اول رشته $s$ نام برند سمنو می‌آید. تضمین می‌شود این رشته فقط از حروف کوچک انگلیسی تشکیل شده و حداکثر ۲۰ کاراکتر داشته باشد.

خروجی

در صورتی که سمنو بیمه ابوالفضل است عبارت Yes و در غیر این صورت No را چاپ کنید.

توجه کنید سیستم داوری به بزرگ و کوچک بودن حروف حساس است.

مثال‌ها

ورودی نمونه ۱

bitpin

خروجی نمونه ۱

Yes

ورودی نمونه ۲

samanoo

خروجی نمونه ۲

No