use numeric character reference