userCallback(results); 
userCallback(results, userData); 
    var callback = function(results) {        if (results == null) {            // try again            getResults(qid, timeout, userCallback);        } else {            userCallback(results);        }    }
5150	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5150/205c8d18f074324c84f40dea184d364554873a5b/imdwr.js/buggy/intermine/webapp/main/resources/webapp/js/imdwr.js