$encoded_value"; }