print('YES' if len(input().split('575'))> 1 else 'NO')