// JavaScript Document

function Trim(x) {
	var theString = x;

	if (theString.length > 0) {
		if (theString.charAt(0) == ' ') {
			return Trim(theString.substring(1,theString.length));
		}
		else if (theString.charAt(theString.length - 1) == ' ') {
			return Trim(theString.substring(0,(theString.length - 1)));
		}
		else return theString;
	}
	else return theString;
}

function EncodeForHTML(cText){
	var re=/</g;
	var re2=/>/g;
	cText = cText.replace(re,'&lt');
	cText = cText.replace(re2,'&gt');
	var re4=/"/g;
	cText = cText.replace(re4,"&quot");
	return cText;
}