json_encode with HEX_TAG