function toggle(id) {
	with(document.getElementById(id).style)
		display = (display=='none') ? 'inline':'none';
	}

function ajax(url,target) {
	var done		= 4;
	var ok			= 200;
	var method		= 'GET';
	var target_type	= typeof target;
	var request		= new XMLHttpRequest();

	request.open(method, url, true);
	request.onreadystatechange = function() {
		if(request.readyState == done && request.status == ok) {
			switch(target_type) {
				case('string'):
					document.getElementById(target).innerHTML = request.responseText;
					break;
				case('function'):
					target(request.responseText);
					break;
				default:
					alert("I don't know what to do with target type '"+target_type+"'...");
				}
			}
		}
	request.send(null);
	}