function ping
	/bin/ping -c 10 $argv
end