var s: string = readLine(stdin)
if s[0] == '4' or s[0] == '5':
  echo "Yes"
else:
  echo "No"