+ /* four-digit decimal equivalents */
+ else if (outbuf[i] == '&' &&
+ outbuf[i + 1] == '#' &&
+ isdigit(outbuf[i + 2]) &&
+ isdigit(outbuf[i + 3]) &&
+ isdigit(outbuf[i + 4]) &&
+ isdigit(outbuf[i + 5]) &&
+ (outbuf[i + 6] == ';') )
+ {
+ scanch = 0;
+ sscanf(&outbuf[i+2], "%04d", &scanch);
+ outbuf[i] = scanch;
+ strcpy(&outbuf[i+1], &outbuf[i+7]);
+ }
+