th.innerText = header.header; 
th.textContent = header.header; 
            section.info.forEach(function(header) {                var row = body.insertRow(-1);                var th = document.createElement("th");                th.innerText = header.header;                row.appendChild(th);                row.insertCell(-1).innerText = header.value;            });
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/11650fd39ffebe23630ae00304720f3195cfabd4/NetworkPanel.js/clean/WebCore/page/inspector/NetworkPanel.js