import java.util.regex.*;
public class Test
{
public static void main(String... args)
{
System.out.println(unescapeHTML("this/that"));
}
public static String unescapeHTML(String str)
{
Pattern p = Pattern.compile("&#(\\d+);");
Matcher m = p.matcher(str);
StringBuffer sb = new StringBuffer();
while (m.find())
{
m.appendReplacement(sb, "");
sb.append((char)Integer.parseInt(m.group(1)));
}
m.appendTail(sb);
return sb.toString();
}
}