finished rfc_1738_encode