#!/bin/awk -f
# dencr: convert ncr's to characters
{
	s = $0
	while((p = match(s, "&#[0-9]+;")) != 0){
		printf("%s", substr(s, 1, p-1))
		ncr = substr(s, p, RLENGTH)
		gsub("[&#;]", "", ncr)
		printf("%s", utf(ncr))
		s = substr(s, p+RLENGTH)
	}
	printf("%s\n", s)
}