Sources

n = input() if '47' in n: print('YES\n') else: print('NO\n')