#!/usr/bin/env python

S = str(input())

if '575' in S:
    print('YES')
else:
    print('NO')