return doc.getElementsByTagName("body")[0]; 
var body = doc.getElementsByTagName("body")[0]; if (body) return body;  return doc.firstChild; 
this.getBody = function(doc){    if (doc.body)        return doc.body;    return doc.getElementsByTagName("body")[0];};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/57be5cc0d05af01592ebc9354c9dd14cffcbf7de/lib.js/clean/extension/content/firebug/lib.js