function showobj(o)
{
	var s = '';
	for (var c in o)
	{
		s = s + c + ':' + o[c] + '\n';
	}
	alert(s);
}

function unjson(str)
{
	while (str.indexOf('<<CR>>') != -1) str = str.replace('<<CR>>', '\n');
	while (str.indexOf('<<LF>>') != -1) str = str.replace('<<LF>>', '\r');
	return str;
}

function numberEdit(ev)
{
	ev = ev || window.event;
	//var ch = ev.charCode;
	var k = ev.keyCode;
	//showobj(ev);
	//alert();
	if (((k >= 96) && (k <= 108)) || ((k >= 48) && (k <= 57) && (ev.shiftKey == false)) || (k == 8) || (k == 9) || (ev.altKey || ev.ctrlKey || (k == 116)))
		return true;
	else
		return false;
}