static String toText (String s)
	{	int m=s.length();
		H.clear();
		for (int i=0; i<m; i++)
		{	char c=s.charAt(i);
			if (c=='&')
			{	if (find(s,i,"&lt;"))
				{	H.append('<');
					i+=3;
				}
				else if (find(s,i,"&gt;"))
				{	H.append('>');
					i+=3;
				}
				else if (find(s,i,"&quot;"))
				{	H.append('\"');
					i+=5;
				}
				else if (find(s,i,"&apos;"))
				{	H.append('\'');
					i+=5;
				}
				else if (find(s,i,"&amp;"))
				{	H.append('&');
					i+=4;
				}
				else H.append(c);
			}
			else H.append(c);
		}
		return H.toString();
	}