#lang racket


(let ([N (string->list (number->string (read)))])
  (define (iter items)
    (cond [(null? items) "No"]
          [(char=? (car items) #\7) "Yes"]
          [else (iter (cdr items))]))
  (display (iter N)))
  
