integer::N,i,A=2
character(100)::S
character,allocatable,dimension(:)::Smini

read *,S
N=len_trim(S)
allocate(Smini(N))

do i=1,N
 Smini(i)=S(i:i)
end do

do i=1,N-2
 if(Smini(i)=='5' .and. Smini(i+1)=='7' .and. Smini(i+2)=='5') then
  A=1
 end if
end do

if(A==1) then
 print *,'YES'
else if(A==2) then
 print *,'NO'
end if

end