added a few encoding functions