var locktime = 0;
function ToggleImage(element)
{
	var now = new Date();
	if (locktime < now.getTime()-1000)
	{
		switch($(element).alt)
		{
			case 'show':
				$(element).alt = 'hide';
				$(element).src = 'gfx/misc/collapse.gif';
			break;
			default:
				$(element).alt = 'show';
				$(element).src = 'gfx/misc/expand.gif';
			break;
		}
		locktime = now.getTime();
	}
	else return false;
}

function showmatchresult(element) {
	element.getElementsByTagName("img")[0].style.display = 'none';
	element.getElementsByTagName("span")[0].style.display = 'inline';
	element.style.cursor = 'auto';
}

//JSON fallback
var JSON = JSON || {};
JSON.stringify = JSON.stringify || function(obj) {
	var t = typeof (obj);
	if (t != "object" || obj === null) {
		// simple data type
		if (t == "string") obj = '"'+obj+'"';
		return String(obj);
	}
	else {
		// recurse array or object
		var n, v, json = [], arr = (obj && obj.constructor == Array);
		for (n in obj) {
			v = obj[n]; t = typeof(v);

			if (t == "string") v = '"'+v+'"';
			else if (t == "object" && v !== null) v = JSON.stringify(v);

			json.push((arr ? "" : '"' + n + '":') + String(v));
		}
		return (arr ? "[" : "{") + String(json) + (arr ? "]" : "}");
	}
};
JSON.parse = JSON.parse || function(text) {
    var object = !(/[^,:{}\[\]0-9.\-+Eaeflnr-u \n\r\t]/.test(text.replace(/"(\\.|[^"\\])*"/g, ''))) && eval('(' + text + ')');
    return object;
}