output encoding