sub htmlX($) # Convert to Html &#xnnnn; notation
 {my ($s) = @_;
  my $t = '';
  $t .= (ord($_) < 128 ? $_ : sprintf("&#x%04x;", ord($_))) for split(//, $s);
  $t
 }