A URL normalizer and SHA1 encoder