//階差数列のローリングハッシュをmapで持てば間に合う。
//(ローリングハッシュが一致しても数列の一致は保障されない。1つのハッシュだけだとWAしたので, 2つハッシュを持とう）
#include <iostream>
#include <map>
#define int long long
using namespace std;

int base = 467924537;
int base2 = 239678416;
int mod = 579824677;
int n, q;
char c; int l, r, val;
map<int, int> dict;

int powmod(int a, int n, int mod) {
	if (n == 0) return 1;
	if (n % 2 == 0) return powmod((a * a) % mod, n / 2, mod) % mod;
	return (a * powmod(a, n - 1, mod)) % mod;
}

signed main() {
	int i;
	
	cin >> n >> q;
	
	int hashNum = 0;
	int hashNum2 = 0;
	for (i = 0; i < q; i++) {
		if (dict.find(hashNum * mod + hashNum2) == dict.end()) dict[hashNum * mod + hashNum2] = i;
		
		cin >> c;
		if (c == '!') {
			cin >> l >> r >> val;
			hashNum += val * powmod(base, l, mod);
			hashNum += (mod - val) * powmod(base, r, mod);
			hashNum %= mod;
			
			hashNum2 += val * powmod(base2, l, mod);
			hashNum2 += (mod - val) * powmod(base2, r, mod);
			hashNum2 %= mod;
		}
		else {
			cout << dict[hashNum * mod + hashNum2] << endl;
		}
	}
	return 0;
}