rem: var line = "srcline" + lineNum; 
add: var	line = "srcline" + lineNum; 
context: 	function jTidyReportHighlight(lineNum) {	    if (jTidyReportHighlightLastLineNum != null)	    {		    jTidyReportSetDefault(document.getElementById(jTidyReportHighlightLastLineNum));		}		var line = "srcline" + lineNum;		jTidyReportSetHighlight(document.getElementById(line));		jTidyReportHighlightLastLineNum = line;	}
meta: 6730	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6730/b529b24cb36c7a34283764350a5f41c668f29781/JTidyServletReport.js/clean/jtidyservlet/src/resources/JTidyServletReport.js