function EscapeHTMLTags(s) {
	res =  new  String(s);
	res=res.replace("<", "<");
	res=res.replace(">", ">");
	 return  res;
}

function ReplaceCRToBR(s) {
	var res=s;
	var prevch=false;
	 for  (var i= 0 ; i<s.length; i++) {
		var ch=s.charAt(i);
		 if  ( ch == '\x0d') prevch=true;
		 if  (prevch) 
			 if  ( ch == '\x0a') {
					res+="<BR>";
					prevch=false;
				}
				 else 
					res+="\x0d";
		 else 
			res+=ch;	
	}
	 return  res;
}

function StringToHTML(s) {
	var res=s;
	res.replace(" ", " ");
	res=ReplaceCRToBR(res);
			 	
     return  res;
}