    Imports System.Collections
    Imports System.Collections.Generic
    Imports System.Linq
    Imports System.xml
    Imports System.xml.Linq
     
    Module Module1
      public sub main()
        
        dim N as string = Console.ReadLine()    
    IF N.indexof("7") > 0 then
      console.writeLine("Yes")
    else 
      console.writeLine("No")
    end if

          
      end sub 
    End Module