#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;
using mint = modint1000000007;
//using mint = modint998244353;

ll mod_pow(ll x, ll n, ll mod){
  if(n==0) return 1;
  ll res = mod_pow(x * x % mod, n / 2, mod);
  if(n & 1) res = res * x % mod;
  return res;
}


int main(){
  ll A, B, C;
  ll K;
  cin >> A >> B >> C;
  cin >> K;

  ll KK = mod_pow(2,K,1000000006);

  mint ret = mint(A).pow(KK) * mint(B).pow(KK) * mint(C).pow(KK);

  cout << ret.val() << endl;
  
  return 0;
}