Ping With Timestamp

ping -i 0.5 9.9.9.9 | while read ping_output; do echo "$(date): $ping_output"; done