import sys # sys.setrecursionlimit(200005) # sys.set_int_max_str_digits(200005) int1 = lambda x: int(x)-1 pDB = lambda *x: print(*x, end="\n", file=sys.stderr) p2D = lambda x: print(*x, sep="\n", end="\n\n", file=sys.stderr) def II(): return int(sys.stdin.readline()) def LI(): return list(map(int, sys.stdin.readline().split())) def LLI(rows_number): return [LI() for _ in range(rows_number)] def LI1(): return list(map(int1, sys.stdin.readline().split())) def LLI1(rows_number): return [LI1() for _ in range(rows_number)] def SI(): return sys.stdin.readline().rstrip() # dij = [(0, 1), (-1, 0), (0, -1), (1, 0)] dij = [(0, 1), (-1, 0), (0, -1), (1, 0), (1, 1), (1, -1), (-1, 1), (-1, -1)] inf = (1 << 63)-1 # md = 10**9+7 md = 998244353 def nCr(com_n, com_r): if com_r < 0: return 0 if com_n < com_r: return 0 return fac[com_n]*ifac[com_r]%md*ifac[com_n-com_r]%md n_max = 200005 fac = [1] for i in range(1, n_max+1): fac.append(fac[-1]*i%md) ifac = [1]*(n_max+1) ifac[n_max] = pow(fac[n_max], md-2, md) for i in range(n_max-1, 1, -1): ifac[i] = ifac[i+1]*(i+1)%md def size(i): res = 0 while fin[i] == 0: fin[i] = 1 res += 1 i = pp[i] return res def dot(aa, bb): h = len(aa) w = len(bb[0]) res = [[0]*w for _ in range(h)] for j, col in enumerate(zip(*bb)): for i in range(h): v = 0 # for a, b in zip(row, col): v += a*b # res[i][j] = v for a, b in zip(aa[i], col): v += a*b%md res[i][j] = v%md return res def matpow(mat, e0): if e0 in memo: return memo[e0] e=e0 n = len(mat) res = [[1 if i == j else 0 for j in range(n)] for i in range(n)] while e: if e & 1: res = dot(res, mat) mat = dot(mat, mat) e >>= 1 memo[e0] = res return res n, m = LI() pp = LI1() ss = [] fin = [0]*n for i in range(n): if fin[i]: continue ss.append(size(i)) # pDB(ss) ans = 0 # du=disuse for du in range(m-1): c = m-du mat = [[0, c-1], [1, c-2]] cur = 1 memo = {} for s in ss: cur *= matpow(mat, s)[0][0]*c%md cur %= md cur = cur*nCr(m, du)%md if du & 1: ans -= cur else: ans += cur ans %= md ans *= ifac[m] print(ans%md)