#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint1000000007;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001
map<vector<long long>,mint> mp;
mint get(long long p,long long b,long long K){
	//cout<<p<<','<<b<<','<<K<<endl;
	//if(mp.count({p,b,K}))return mp[{p,b,K}];
	if(K==0)return mint(p).pow(b);
	
	if(p==2||p==3){
		if(K%2==1){
			//mint ret = 
			if(p==2){
			//	mint ret = 
				return get(3,b,K-1);
			}
			else{
				return get(2,b*2%1000000006,K-1);
			}
			
		}
		else{
			mint ret = p;
			ret = ret.pow(pow_mod(2,K/2,1000000006)*b);
			return ret;
		}
	}
	
	p++;
	{
		long long tb = 0;
		while(p%2==0){
			tb++;
			p/=2;
		}
		return get(2,tb*b%1000000006,K-1) * get(p,b,K-1);
	}
}

int main(){
	
	int N;
	long long K;
	cin>>N>>K;
	mint ans = 1;
	for(long long i=2;i<=N;i++){
		if(N%i==0){
			int c = 0;
			while(N%i==0){
				N /= i;
				c++;
			}
			ans *= get(i,c,K);
		}
	}
	
	cout<<ans.val()<<endl;
	
    return 0;
}