URL-encoding and decoding procedures