  var count = parseInt(countString.match(/([\d]+)\s*$/g)[0]);  setTimeout("updateUniqueCountInColumnSummary(" + uniqueCountQid + "," + count + ")", 300); 
function updateCountInColumnSummary() {    var countString = document.resultsCountText;    if (countString != null) {        document.getElementById('summary_row_count').innerHTML = "<p>" + countString + "</p>";    }    setTimeout("updateCountInColumnSummary()", 1000);}
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