de/en-code
function encode_url(
url) {
url = str_rot13(urlencode(preg_replace('#^([\w+.-]+):
//#i', "$1/",
url)));
return url; } function decode_url(
url) {
url = preg_replace('#^([\w+.-]+)/#i', "$1://", urldecode(str_rot13(
url))); return
url; }