function html_encode(aString) {
	var rString = '';
	for(i = 0; i < aString.length; i ++) {
		rString = rString + '&#' + aString.charCodeAt(i) + ';'; 
	}
	return rString;
}