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

Group of answer choices

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

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

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

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