#include const long long INF = 1LL << 60; const long long MOD = 1000000007; const double PI = acos(-1.0); #define rep(i, n) for (ll i = 0; i < (n); ++i) #define rep1(i, n) for (ll i = 1; i <= (n); ++i) #define rrep(i, n) for (ll i = (n - 1); i >= 0; --i) #define perm(c) sort(ALL(c));for(bool c##p=1;c##p;c##p=next_permutation(ALL(c))) #define ALL(obj) (obj).begin(), (obj).end() #define RALL(obj) (obj).rbegin(), (obj).rend() #define pb push_back #define to_s to_string #define len(v) (ll)v.size() #define UNIQUE(v) v.erase(unique(v.begin(), v.end()), v.end()) #define print(x) cout << (x) << '\n' #define drop(x) cout << (x) << '\n', exit(0) #define debug(x) cout << #x << ": " << (x) << '\n' using namespace std; using ll = long long; typedef pair P; typedef vector vec; typedef vector> vec2; typedef vector>> vec3; template inline bool chmax(S &a, const T &b) { if (a inline bool chmin(S &a, const T &b) { if (b ostream &operator << (ostream &os, const pair< T1, T2 > &p) { os << p.first << " " << p.second; return os; } template< typename T1, typename T2 > istream &operator >> (istream &is, pair< T1, T2 > &p) { is >> p.first >> p.second; return is; } template< typename T1, typename T2, typename T3 > ostream &operator << (ostream &os, const tuple< T1, T2, T3 > &t) { os << get<0>(t) << " " << get<1>(t) << " " << get<2>(t); return os; } template< typename T1, typename T2, typename T3 > istream &operator >> (istream &is, tuple< T1, T2, T3 > &t) { is >> get<0>(t) >> get<1>(t) >> get<2>(t); return is; } template< typename T > ostream &operator << (ostream &os, const vector< T > &v){ for (int i = 0; i < (int)v.size(); ++i) { os << v[i] << (i + 1 != v.size() ? " " : ""); } return os; } template< typename T > istream &operator >> (istream &is, vector< T > &v){ for(T &in : v) is >> in; return is; } /*--------------------------------- Tools ------------------------------------------*/ template< typename T > vector cumsum(const vector &X){ vector res(X.size() + 1, 0); for(int i = 0; i < X.size(); ++i) res[i + 1] += res[i] + X[i]; return res; } template< typename S, typename T, typename F> pair bisearch(S left, T right, F f) { while(abs(right - left) > 1){ T mid = (right + left) / 2; if(f(mid)) right = mid; else left = mid; } return {left, right}; } template< typename S, typename T, typename F> double trisearch(S left, T right, F f, int maxLoop = 90){ double low = left, high = right; while(maxLoop--){ double mid_left = high / 3 + low * 2 / 3; double mid_right = high * 2 / 3 + low / 3; if(f(mid_left) >= f(mid_right)) low = mid_left; else high = mid_right; } return (low + high) * 0.5; } /*------------------------------- Main Code Here -----------------------------------------*/ template struct modint { ll val; constexpr modint(ll v = 0) noexcept : val(v % MOD){ if(val < 0) val += MOD; } constexpr int getmod() { return MOD; } constexpr modint operator-() const noexcept { return val ? MOD - val : 0; } constexpr modint operator+ (const modint &r) const noexcept { return modint(*this) += r; } constexpr modint operator- (const modint &r) const noexcept { return modint(*this) -= r; } constexpr modint operator* (const modint &r) const noexcept { return modint(*this) *= r; } constexpr modint operator/ (const modint &r) const noexcept { return modint(*this) /= r; } constexpr modint& operator++() noexcept { val += 1; return *this; } constexpr modint& operator--() noexcept { val -= 1; return *this; } constexpr modint& operator+= (const modint &r) noexcept { val += r.val; if(val >= MOD) val -= MOD; return *this; } constexpr modint& operator-= (const modint &r) noexcept { val -= r.val; if(val < 0) val += MOD; return *this; } constexpr modint& operator*= (const modint &r) noexcept { val = val * r.val % MOD; return *this; } constexpr modint& operator/= (const modint& r) noexcept { long long a = r.val, b = MOD, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } val = val * u % MOD; if (val < 0) val += MOD; return *this; } constexpr bool operator== (const modint &r) const noexcept { return this->val == r.val; } constexpr bool operator!= (const modint &r) const noexcept { return this->val != r.val; } friend constexpr istream& operator >> (istream &is, modint& x) noexcept { is >> x.val; x += 0; return is; } friend constexpr ostream& operator << (ostream &os, const modint& x) noexcept { return os << x.val; } friend constexpr modint modpow(const modint &a, long long n) noexcept { if(n == 0) return 1; auto t = modpow(a, n / 2); t = t * t; if(n & 1) t = t * a; return t; } }; using mint = modint; const int MAX = 510000; long long fac[MAX], finv[MAX], inv[MAX]; // テーブルを作る前処理 void COMinit() { fac[0] = fac[1] = 1; finv[0] = finv[1] = 1; inv[1] = 1; for (int i = 2; i < MAX; i++) { fac[i] = fac[i - 1] * i % MOD; inv[i] = MOD - inv[MOD % i] * (MOD / i) % MOD; finv[i] = finv[i - 1] * inv[i] % MOD; } } // 二項係数計算 long long COM(int n, int k) { if (n < k) return 0; if (n < 0 || k < 0) return 0; return fac[n] * (finv[k] * finv[n - k] % MOD) % MOD; } int main() { ll N, M; cin >> N >> M; COMinit(); mint ans = 0; ll x = 1; for (ll k = M; k >= 0; --k){ ans += modpow(mint(k), N) * COM(M, k) * x; x *= -1; } print(ans); return 0; }