switchclass = function(i) {
	var cl = "l" + i;
	var xl = cl + "x";
	var cc = "ci" + i;
	var xc = cc + "x";
	var el = $$("." + cl, "." + xl, "." + cc, "." + xc);
	el.each(function (e) {
		var sl = $w(e.className);
		sl = sl.collect(function (s) {
			switch (s) {
				case cl: return xl;
				case xl: return cl;
				case cc: return xc;
				case xc: return cc;
				default: return s;
			}
		});
		e.setAttribute("class", sl.join(" "));
		e.setAttribute("className", sl.join(" "));
	});
}

switchcheck = function(i) {
	var el = $$(".ci" + i);
	el.each(function (e) {
		e.innerHTML = "";
	});
	var el = $$(".ci" + i + "x");
	el.each(function (e) {
		e.innerHTML = "✓";
	});
}

getre = function() {
	new Ajax.Updater('result', '/cgi/regextutor.pl', {
		parameters: $('regextutor').serialize(true),
		method: 'get',
		onComplete: function () { $('run').disabled = 0; }
	});
}