 var script = doc.createElement("script"); script.type = "text/javascript"; script.language = "JavaScript"; script.src = url; getHead(doc).appendChild(script); 
    SimileAjax.includeJavascriptFile = function(doc, url) {        if (doc.body == null) {            doc.write("<script src='" + url + "' type='text/javascript'></script>");        } else {            var script = doc.createElement("script");            script.type = "text/javascript";            script.language = "JavaScript";            script.src = url;            getHead(doc).appendChild(script);        }    };
6194	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6194/e8ba210e279255a8fe7bd35fb6621049778db793/simile-ajax-api.js/buggy/src/webapp/api/simile-ajax-api.js