What Port Does Ping Use?

[Art Lemasters]

    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