Default port for ping tool