sub hexent {
	my $utf8=shift;
	# convert utf8 characters greater than 255 into hex entities
	my $mapped=join("", map { $_ > 255 ? sprintf("&#x%04X;", $_) : chr($_) } unpack("U*", $utf8));;
	return $mapped;
}