题目描述

全国各地的早餐可谓是丰富多彩：武汉热干面、桂林米粉、广东肠粉、云南过桥米线、西安凉皮......我们大重庆的小面和酸辣粉在全国也是享誉盛名。小面配上各种辅料，就有了豌豆面、牛肉面、回肠面......现在牛肉面的市场价格为$16$元。小明有$x$元，请编写程序判断小明是否能吃上一碗牛肉面呢？如果可以则输出Yes，不可以则输出No。

输入格式

输入一个整数$x(1 \le x \le 1000)$。

输出格式

输出一行，如果可以则输出Yes，不可以则输出No。

10

No