function convertToHtml(v)
{
	return v
		.replace(/&/g, "&")
		.replace(/#/g, "&35;")
		.replace(/</g, "&lt;")
		.replace(/>/g, "&gt;")
		.replace(/\(/g, "&40;")
		.replace(/\)/g, "&41;")
	;
}