return function ok (text) { var json = JSON.decode(text); if (!id) for (name in json) { el = $(id); if (el) HTML.insert( el, this.HTML(json[name], []).join(''), adjacency ); } else HTML.insert( $(id), this.HTML(json, []).join(''), adjacency ); } } 
if (!id) { return function ok (text) { var json = JSON.decode(text); for (name in json) { el = $(name); if (el) HTML.insert( el, this.HTML(json[name], []).join(''), adjacency ); } } } else return function ok (text) { HTML.insert($(id), this.HTML( JSON.decode(text), [] ).join(''), adjacency); } } 
JSON.insert = function (adjacency, id) {    return function ok (text) {        var json = JSON.decode(text);        if (!id) for (name in json) {            el = $(id);            if (el) HTML.insert(                el, this.HTML(json[name], []).join(''), adjacency                );        } else HTML.insert(            $(id), this.HTML(json, []).join(''), adjacency            );    }} // ... just enough to bootstrap a web user interface from JSON.
9223	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9223/1edb04aa3297d300f1d4b2221b74ec7b7c81be67/protocols.js/clean/app/127.0.0.2/root/protocols.js