function connect(url, log, callback) {
	var ws = false;

	if ("WebSocket" in window) {
		//log("Websockets are supported by your browser.");
		ws = new WebSocket(url);

		ws.onmessage = function(evt) {
			receive(evt, log, callback);
		};

	} else
		log("Websockets are not supported by your browser. This ain't gonna work...");

	return ws;
};

function send(ws, request) {
	ws.send(JSON.stringify(request));
};

function receive(evt, log, callback) {
	var response = false;

	try {
		response = JSON.parse(evt.data);
	} catch (err) {
		log("receive_response(): Read error: " + evt.data);
	} finally {
		if (response != false)
			callback(response);
	}
};

function show(id) {
	var element = document.getElementById(id);
	element.hidden = false;
};

function hide(id) {
	var element = document.getElementById(id);
	element.hidden = true;
};

function overlay_off() {
	document.getElementById("overlay").style.display = "none";
};

function overlay_on() {
	document.getElementById("overlay").style.display = "block";
}