Yup. 128.230.13.36 works from here. My ISP, however, tells me
Code:
~\Work> echo %@ipname[128.230.13.36]
11004
(%?=1, %_?=0)
~\Work> echo %@ipname[128.230.13.209]
lucky.syr.edu
(%?=1, %_?=0)