String unescapeHTML(String s, int f){
    String [][] escape =
     {{  "&lt;"     , "<" } ,
      {  "&gt;"     , ">" } ,
      {  "&amp;"    , "&" } ,
      {  "&quot;"   , "\"" } ,
      {  "&agrave;" , "à" } ,
      {  "&Agrave;" , "À" } ,
      {  "&acirc;"  , "â" } ,
      {  "&auml;"   , "ä" } ,
      {  "&Auml;"   , "Ä" } ,
      {  "&Acirc;"  , "Â" } ,
      {  "&aring;"  , "å" } ,
      {  "&Aring;"  , "Å" } , 
      {  "&aelig;"  , "æ" } , 
      {  "&AElig;"  , "Æ" } ,
      {  "&ccedil;" , "ç" } ,
      {  "&Ccedil;" , "Ç" } ,
      {  "&eacute;" , "é" } ,
      {  "&Eacute;" , "É" } ,
      {  "&egrave;" , "è" } ,
      {  "&Egrave;" , "È" } ,
      {  "&ecirc;"  , "ê" } ,
      {  "&Ecirc;"  , "Ê" } ,
      {  "&euml;"   , "ë" } ,
      {  "&Euml;"   , "Ë" } ,
      {  "&iuml;"   , "ï" } , 
      {  "&Iuml;"   , "Ï" } ,
      {  "&ocirc;"  , "ô" } ,
      {  "&Ocirc;"  , "Ô" } ,
      {  "&ouml;"   , "ö" } ,
      {  "&Ouml;"   , "Ö" } ,
      {  "&oslash;" , "ø" } ,
      {  "&Oslash;" , "Ø" } ,
      {  "&szlig;"  , "ß" } ,
      {  "&ugrave;" , "ù" } ,
      {  "&Ugrave;" , "Ù" } ,
      {  "&ucirc;"  , "û" } ,
      {  "&Ucirc;"  , "Û" } , 
      {  "&uuml;"   , "ü" } ,
      {  "&Uuml;"   , "Ü" } ,
      {  "&nbsp;"   , " " } ,
      {  "&reg;"    , "\u00a9" } ,
      {  "&copy;"   , "\u00ae" } ,
      {  "&euro;"   , "\u20a0" } ,
      {  "&#39;", str(char(39))} };
     int i, j, k, l ;
     
     i = s.indexOf("&", f);
     if (i > -1) {
        j = s.indexOf(";" ,i);
        // --------
        // we don't start from the beginning 
        // the next time, to handle the case of
        // the &amp;
        // thanks to Pieter Hertogh for the bug fix!
        f = i + 1;
        // --------
        if (j > i) {
           // ok this is not most optimized way to
           // do it, a StringBuffer would be better,
           // this is left as an exercise to the reader!
           String temp = s.substring(i , j + 1);
           // search in escape[][] if temp is there
           k = 0;
           while (k < escape.length) {
             if (escape[k][0].equals(temp)) break;
             else k++;
             }
           if (k < escape.length) {
             s = s.substring(0 , i) + escape[k][1] + s.substring(j + 1);
             return unescapeHTML(s, f); // recursive call
             }
           }
        }   
     return s;
     }