import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner kb=new Scanner(System.in);
		String s=kb.next();
		String ret="NO";
		for(int i=0;i<s.length();i++){
			if(i+2<s.length()){
				if(s.charAt(i)=='5'&&s.charAt(i+1)=='7'
						&&s.charAt(i+2)=='5'){
					ret="YES";
					break;
				}
			}

		}
		System.out.println(ret);
	}

}