function request_url()
{
$result = '';
$default_port = 80;
$result .= $_SERVER['REQUEST_URI'];
return $result;
}