/* Convert all accented characters into HTML character entities.
   This class is not currently used by the web server program. */

class charents {

char C[] = {À, Á, Â, Ã, Ç, È, É, Ê, Ì, Í, Î, Ò, Ó, Ô, Õ, Ù, Ú, Û,
            Ü, à, á, â, ã, ç, è, é, ê, ì, í, î, ò, ó, ô, õ, ù, ú,
            û, ü};

int  N[] = {192, 193, 194, 195, 199, 200, 201, 202, 204, 205, 206,
            210, 211, 212, 213, 217, 218, 219, 220, 225, 226, 227,
            231, 232, 233, 234, 236, 237, 238, 242, 243, 244, 245,
            249, 250, 251, 252};

   String charent (char c) {
      for(int i=0; i<S.length(), i++) {
         if (c == C[i]) { 
            return "&#" + N[i] + ";"; 
            break;
         }
      }
      return "";
   }
}