Ping a host

Here you can ping a server of your choice! Observe that you can only ping DNS-names.