 if this page came on an
	 * https:// url itself, otherwise unencrypted
	 */

	if (u.substring(0, 5) == "https") {
		pcol = "wss://";
		u = u.substr(8);
	} else {
		pcol = "ws://";
		if (u.substring(0, 4) == "http")
			u = u.substr(7);
	}

	u = u.split('/');

	/* + "/xxx" bit is for IE10 workaround */

	return pcol + u[0] + "/xxx";
}


document.getElementById("number").textContent = get_appropriate_ws_url();

/* dumb increment protocol */
	
	var socket_di;

	if (typeof MozWebSocket != "undefined") {
		socke