//特殊字符替换
var encode = function(str){
return str.replace(/>/g, '&gt;').replace(/</g, '&lt;').replace(/\'/g, '&#39;').replace(/\"/g, '&quot;').replace(/\r/g, '<br />');
}
    window.contents.innerHTML="encode(<%=strResult[k][3]%>)";