> Indeed. I don't have ssh access, it looks like the IP address has changed,Hi Martijn,
> or the machine is down.
> The only IP address I have is 22.214.171.124. I don't know any more than
> this (nor do I have special access).
the address is 126.96.36.199 (1).