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