 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") > -1 then
          console.writeLine("Yes")
        else 
          console.writeLine("No")
        end if
     
              
          end sub 
        End Module