print(['NO', 'YES']['575' in input()])