<script src="/js/jquery.min.js"></script>
<script src="/js/crel.js"></script>
<script src="/js/json.human.js"></script>
<script src="/js/jquery.min.js"></script>
<script src="/js/crel.js"></script>
<script src="/js/json.human.js"></script>
if (typeof MozWebSocket != "undefined") {
socket_json = new MozWebSocket(get_appropriate_ws_url(),
if (typeof MozWebSocket != "undefined") {
socket_json = new MozWebSocket(get_appropriate_ws_url(),