import sys
from math import log2

def input(): return sys.stdin.readline().strip()
def list2d(a, b, c): return [[c] * b for i in range(a)]
def list3d(a, b, c, d): return [[[d] * c for j in range(b)] for i in range(a)]
def list4d(a, b, c, d, e): return [[[[e] * d for j in range(c)] for j in range(b)] for i in range(a)]
def ceil(x, y=1): return int(-(-x // y))
def INT(): return int(input())
def MAP(): return map(int, input().split())
def LIST(N=None): return list(MAP()) if N is None else [INT() for i in range(N)]
def Yes(): print('Yes')
def No(): print('No')
def YES(): print('YES')
def NO(): print('NO')
sys.setrecursionlimit(10 ** 9)
INF = 10 ** 19
MOD = 10 ** 9 + 7
EPS = 10 ** -10

class ModTools:
    """ 階乗・逆元用のテーブルを構築する """

    def __init__(self, MAX, MOD):

        # nCrならn、nHrならn+rまで作る
        MAX += 1
        self.MAX = MAX
        self.MOD = MOD
        factorial = [1] * MAX
        factorial[0] = factorial[1] = 1
        for i in range(2, MAX):
            factorial[i] = factorial[i-1] * i % MOD
        inverse = [1] * MAX
        inverse[MAX-1] = pow(factorial[MAX-1], MOD-2, MOD)
        for i in range(MAX-2, -1, -1):
            inverse[i] = inverse[i+1] * (i+1) % MOD
        self.fact = factorial
        self.inv = inverse

D, L, R, K = MAP()

vcnt = [0] * (D+1)
for d in range(1, D+1):
    vcnt[d] = 2**(d-1)
mt = ModTools(vcnt[D], MOD)

ld = int(log2(L)) + 1
rd = int(log2(R)) + 1
for lcad in range(1, min(ld, rd)+1):
    k = (ld - lcad) + (rd - lcad)
    if k == K:
        lcacnt = vcnt[lcad]
        lcnt = vcnt[ld-lcad]
        if lcad == ld:
            lcnt = lcacnt
            lcacnt = 1
        rcnt = vcnt[rd-lcad]
        ans = lcacnt * lcnt * rcnt * 2 % MOD
        for d in range(1, D+1):
            others = vcnt[d]
            if d == ld:
                others -= 1
            if d == rd:
                others -= 1
            ans *= mt.fact[others]
            ans %= MOD
        print(ans)
        break
else:
    print(0)