if (escapeXml == 'always' || escapeXml == 'partial') { 
if (escapeXml == 'always' || escapeXml == 'partial' || escapeXml == 'html') { 
function encodeText(text) {	var escapeXml = options.escapeXmlEntities;	if (escapeXml == 'always') {		// & -> &amp;		// &amp; -> &amp;amp;		// &quot; -> &amp;quot;		// &nbsp; -> &nbsp;		text = text.replace(/&(\w+);/g, '%%tmp_entity%%$1%%');		text = text.replace(/%%tmp_entity%%(amp|apos|quot|lt|gt)%%/g, '&$1;');		text = text.replace(/&/g, '&amp;');		text = text.replace(/%%tmp_entity%%(\w+)%%/g, '&$1;');		text = text.replace(/\'/g, '&apos;');		text = text.replace(/\"/g, '&quot;');	} else if (escapeXml == 'html') {		// & -> &		// ' -> '		// \xA0 -> &nbsp;		// &amp; -> &amp;amp;		// &quot; -> &amp;quot;		// &nbsp; -> &amp;nbsp;		text = text.replace(/&(nbsp|amp|quot|apos|lt|gt|\d+|x\d+)(;|\W)/g, '&amp;$1$2');		text = text.replace(/\xA0/g, '&nbsp;');		text = text.replace(/ {2,}/g, function(str) {				var result = '';				for (var i = 0; i < str.length; i++) {					result += '&nbsp;';				}				return result;			}); // convert multiple spaces to nbsp	}	if (escapeXml == 'always' || escapeXml == 'partial') {		text = text.replace(/</g, '&lt;');		text = text.replace(/>/g, '&gt;');	}	if ('true' == options.escapeDollar) {		text = text.replace(/([^\$])\$\{/g, '$1\\${'); // replace ${...} to \${...}		text = text.replace(/^\$\{/g, '\\${'); // replace ${...} to \${...}		text = text.replace(/\$\$\{/g, '${'); // replace $${...} to ${...}	}    text = text.replace(/\n/g, "<br />");	return text;}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/9769342094a7bedf7e16fd3b045b40af1e5e748d/html.js/buggy/src/content/formats/html.js