var $server = "passport.hebzgfw.cn"; var $port = "443"; var $ctx ="/union_user"; var $serverURL = "http://" +$server +($port =="80"? "":":"+$port) + $ctx;