String Extension (String URL)
{
Regex r = new regex (@ "^ (? / w ): // [^ /] ? (? : / d )? /",
Regexoptions.compiled;
Return R.Match (URL) .result ("$ {Proto} $ {port});
}