What is the full command you used to ping the 'Hollywood Web Server $2\text{'}$ machine?

ping $200\mathrm{.}0\mathrm{.}113\mathrm{.}31$

pinging $203\mathrm{.}0\mathrm{.}113\mathrm{.}32$

ping $203\mathrm{.}0\mathrm{.}113\mathrm{.}32$

ping 'Hollywood Web Server $2\text{'}$