if __name__ == '__main__':
    from sys import stdin
    input = stdin.readline

    n = input()
    for i in n:
        if i == '7':
            print('Yes')
            break
    else:
        print('No')
