import cgi

echo encodeUrl("http://foo/bar/")