setencoding