# あるステップの段階でN=0 or N!=0
# N=0なら、掛け算でP通り、足し算で1通り、の合計P+1通りで、次もN=0となる
# N!=0なら、掛け算で1通り(0、素数なので)、足し算で1通りの合計2通りで次が0になる
# 操作は全部でP*2通りなので、残りはN!=0となる

P, K = map(int, input().split())
mod = 10**9+7

# dp[操作番号][0 for 0, 1 for nonzero]
dp = [[0]*2 for i in range(K+1)]
dp[0][0] = 1

for i in range(1, K+1):
    dp[i][0] += dp[i-1][0]*(P+1)
    dp[i][0] += dp[i-1][1]*(2)
    dp[i][0] %= mod
    dp[i][1] += dp[i-1][0]*(P-1)
    dp[i][1] += dp[i-1][1]*(P*2-2)
    dp[i][1] %= mod

#print(dp)

ans = dp[K][0]%mod
print(ans)