http://pachong.org/ 这个网站的主页里面的端口是用 js 代码生成的，js 里面的变量每次在打开网页的时候都会变化。那么里面的端口那个值怎么获取到呢？

用python写的脚本，爬取他的端口。但是他的端口是通过他实现的。<script>document.write((15807^goat)+812);</script> 里面的goat是通过var goat=6111+7380;var hen=5548+7476^goat;var seal=2094+4451^hen;var rat=1687+7000^seal;var pig=3997+8240^rat; 这个js实现的，但是每次打开网页的时候，这里面的变量名称和值都会变化。想问下，这样的话 怎么获取他的端口？

下面是自己的gist. 想通过goat=6111+7380这个字串直接在python里面产生一个goat变量并且赋值给他。但是没成功。