Does someone have a little python script that will read a file in UTF-8/UTF-16/UTF-32 (my choice) and search for all the characters between 0x7f-0xffffff and convert them to an ASCII digit string that begins with "&#" and ends with ";" and output the whole thing? If not, could someone tell me how to write one?
How about a script to do the inverse? Thanks! siegfried -- http://mail.python.org/mailman/listinfo/python-list
