If they don't know it, they should run:
```
hostname
```