if __name__ == "__main__":
    # 入力パターン．
    # 先に要素数Nが与えられて，その数読み込むパターン
    ### N
    ### a_1 a_2 a_3 ... a_N
    N = input()
    msg = "No"
    for n in N:
        if n == '7':
            msg = "Yes"
  
    print(msg)