function myreplace(mystring){
	//mystring.replace("<","&lt;").replace(">","&gt").replace('"', "&quot;").replace("'", "&#39;");
	result=mystring.replace(/&gt;/g,">").replace(/&lt;/g, "<").replace(/&quot;/g, '"').replace(/&#39/g, "'").replace(/&amp;/g, "&");
	return result;
}