何故proxy：8080ではなくて
proxy.xyz9.mn.home.ne.jp:8080なのかという事でしょうか？
でしたら、http://proxy:8080/
にアクセスしていただければわかると思うのですが、これはスクリプトで
具体的なproxyサーバへ振っているだけと判断しています。
直接書いたほうが若干高速かなぁ、という直感ですがもうちょっと
スマートな書き方があるでしょうか？（分かりにくさとの兼ね合い？）
是非ご教示頂きたいのですが。