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