怎么查看seajs管理的js文件？

seajs加载某个js文件，可能在config设置了文件名和路径，怎么查看这个js代码？比如：想查看
http://www.antgroup.com/zh/aboutAnt.htm
这个网站中的

nav.js代码，怎么查看？

---