defined encoding