#include <bits/stdc++.h>
#include <atcoder/modint>

using namespace std;
using namespace atcoder;
using ll = long long;
using mint = modint998244353;

const int MAX=1000000;

vector<mint> f, finv, inv;

void init(){
    f.resize(MAX+1); finv.resize(MAX+1); inv.resize(MAX+1);
    f[0] = 1;
    for (int i=1; i<=MAX; i++) f[i] = f[i-1]*i;
    finv[MAX] = f[MAX].inv();
    for (int i=MAX-1; i>=0; i--) finv[i] = finv[i+1] * (i+1);
    for (int i=1; i<=MAX; i++) inv[i] = finv[i] * f[i-1];
}

mint C(ll n, ll k){
    if (n < k || k < 0) return 0;

    return f[n] * finv[k] * finv[n-k] ;
}

mint P(ll n, ll k){
    if (n < k || k < 0) return 0;

    return f[n] * finv[n-k];
}

int main(){
    cin.tie(nullptr);
    ios_base::sync_with_stdio(false);

    /*
       良い数列が与えられた時、f(S)はi=1,2,..,N-1の順にS_i=1なら操作を行うとして得られる。
       このとき、i回目において、操作を行うならばA_i=1となるような数列Aにおける1の数がf(S)でAとSは1対1対応する。
       よって、sum_(i=1 to N-1) i^K * C(N-1, i) 
    */

    init();
    ll N, K;
    cin >> N >> K;
    mint ans=0;
    for (int i=1; i<=N-1; i++) ans += mint(i).pow(K) * C(N-1, i);
    cout << ans.val() << endl;

    return 0;
}