def base_n(n,r,b):
    t=[None]*r
    for a in reversed(range(len(t))):
        t[a]=n//(b**a)
        n-=t[a]*b**a
    return t
def g1(lis):
    t=[[None]]
    for a in range(1,len(lis)+1):
        for b in range(0,len(lis)+1-a):
            t.append(lis[b:a+b])
    return t
def factorielle(n):
    t=1
    for i in range(1,n+1):
        t=t*i
    return t
def g2(n):
    t=0
    for a in range(0,n+1):
        t+=1/factorielle(a)
    return t
def g3():
    t=input()
    b=0
    if len(t)<8:
        return False
    for a in range(len(t)):
        if t[a].isupper==True:
            b=1
    if b==0:
         return False
    else:
         b=0
    for a in range(len(t)):
         if t[a].islower==True:
             b=1
    if b==0:
         return False
    else:
         b=0
    for a in range(len(t)):
         if t[a].isdigit==True:
             b=1
    if b==0:
         return False
    else:
         b=0
    return True
print(g3())