Which port number does ping use in Debian Linux? I searched /etc/services and /etc/inetd.conf but did not find any icmp port. Art