The encoding and decoding of web addresses