change html encoding for tool convert

change html encoding for tool convert