#!/usr/bin/python3

import sys
import re

for line in sys.stdin:
    if re.match(r'(555\s[0-9][0-9][0-9]\s|[0-9][0-9][0-9]$)|(555(-)[0-9][0-9][0-9](-)|[0-9][0-9][0-9]$)',line):
        print("yes")
    else: print("no")