function wsuri(path) {
var loc = window.location;
new_uri = "ws://" + loc.host + "/ws" + path;
return new_uri;
}