if (txtValue.match(/^\s*$/)) return txtValue; var txtValue0 = txtValue.replace((/\r\n/g),'&lf;'); var txtValue1 = txtValue0.replace((/"/g),'&quot;'); 
if (txtValue.match(/^\s*$/)) return txtValue; var txtValue0 = txtValue.replace((/\r\n/g),'&lf;'); var txtValue1 = txtValue0.replace((/"/g),'&quot;'); 
function encodeText(txtValue) {if (txtValue.match(/^\s*$/)) return txtValue;var txtValue0 = txtValue.replace((/\r\n/g),'&lf;');var txtValue1 = txtValue0.replace((/"/g),'&quot;');var txtValue2 = txtValue1.replace((/>/g),'&gt;');var txtValue3 = txtValue2.replace((/</g),'&lt;');return txtValue3;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-216320.js/buggy/js/tests/js1_5/Regress/regress-216320.js