encode_entities($a, "\000-\377");