# ABC162A - Lucky 7

def main():
    # input
    N = str(input())

    # compute

    # output
    if N[0]=='7' or N[1]=='7' or N[2]=='7':
        print('Yes')
    else:
        print('No')


if __name__ == '__main__':
    main()

# ABC162A - Lucky 7

def main():
    # input
    N = str(input())

    # compute

    # output
    if N[0]=='7' or N[1]=='7' or N[2]=='7':
        print('Yes')
    else:
        print('No')


if __name__ == '__main__':
    main()

# ABC162A - Lucky 7 # input # compute # output