/*
只有在区间中的数字不相同时才pushdown:往子区间传递数字再到子区间更新,同时该区间的flag置0
更新完左右子区间后进行pushup,如果左右子区间数字相同,那么把子区间合并,子区间数字置0
*/
#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
#define ll long long
#define mod 10007
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define maxn 200000
int n,q,flag[maxn<<],x[maxn<<]; inline void pushup(int rt){
if(!flag[rt<<] || !flag[rt<<|])
flag[rt]=;
else if(x[rt<<]!=x[rt<<|])
flag[rt]=;
else flag[rt]=,x[rt]=x[rt<<];
}
inline void pushdown(int rt){
if(flag[rt]){
flag[rt<<]=flag[rt<<|]=;
x[rt<<]=x[rt];
x[rt<<|]=x[rt];
flag[rt]=;
}
}
void update(int L,int R,int op,int val,int l,int r,int rt){
if(L<=l && R>=r && flag[rt]){
if(op==)
x[rt]=(x[rt]+val)%mod;
else if(op==) x[rt]=x[rt]*val%mod;
else x[rt]=val;
return;
}
pushdown(rt);
int m=l+r>>;
if(L<=m) update(L,R,op,val,lson);
if(R>m) update(L,R,op,val,rson);
pushup(rt);
}
ll query(int L,int R,int val,int l,int r,int rt){
if(L<=l && R>=r && flag[rt]){
ll ans=;
for(int i=;i<=val;i++)
ans=(ans*x[rt])%mod;
ans=(ans*(r-l+))%mod;
return ans;
}
pushdown(rt);
int m=l+r>>;
ll ans=;
if(L<=m) ans+=query(L,R,val,lson);
if(R>m) ans+=query(L,R,val,rson);
return ans%mod;
}
int main(){
while(scanf("%d%d",&n,&q),n){
memset(flag,,sizeof flag);
memset(x,,sizeof x);
int op,L,R,val;
while(q--){
scanf("%d%d%d%d",&op,&L,&R,&val);
if(op<= && op>=) update(L,R,op,val,,n,);
else printf("%lld\n",query(L,R,val,,n,));
}
}
return ;
}