M=int(input())
N=int(input())

if N>M:
    print("0"*8)
    exit()

N=min(N,M-N)

TWO=0
FIVE=0

ANS1=1
ANS2=1
ANS3=1
ANS4=1
mod1=2**8
mod2=5**8

for i in range(N):
    x=M-i
    y=N-i

    while x%2==0:
        TWO+=1
        x//=2

    while x%5==0:
        FIVE+=1
        x//=5
     
    while y%2==0:
        TWO-=1
        y//=2

    while y%5==0:
        FIVE-=1
        y//=5

    ANS1=ANS1*x%mod1
    ANS2=ANS2*x%mod2
    ANS3=ANS3*y%mod1
    ANS4=ANS4*y%mod2

ANS1=ANS1*pow(ANS3,-1,mod1)%mod1
ANS2=ANS2*pow(ANS4,-1,mod2)%mod2

# 拡張ユークリッドの互除法.ax+by=gcd(a,b)となる(x,y)を一つ求め、(x,y)とgcd(x,y)を返す.
def Ext_Euc(a,b,axy=(1,0),bxy=(0,1)): # axy=a*1+b*0,bxy=a*0+b*1なので,a,bに対応する係数の初期値は(1,0),(0,1)
    q,r=divmod(a,b)

    if r==0:
        return bxy,b # a*bxy[0]+b*bxy[1]=b
   
    rxy=(axy[0]-bxy[0]*q,axy[1]-bxy[1]*q) # rに対応する係数を求める.
    return Ext_Euc(b,r,bxy,rxy)

# 中国剰余定理（拡張ユークリッドの互除法を使う）
def Chirem(a,ma,b,mb): # N=a mod ma,N=b mod mbのときN=k mod(lcm(ma,mb))なるk,lcm(ma,mb)を返す.
    (p,q),d=Ext_Euc(ma,mb)
    if (a-b)%d!=0:
        return -1 # 解がないとき-1を出力
    return (b*ma*p+a*mb*q)//d%(ma*mb//d),ma*mb//d


ANS=Chirem(ANS1,mod1,ANS2,mod2)[0]

k=ANS*(2**TWO)*(5**FIVE)

print(str(k)[-8:].zfill(8))