ping google.com | awk '/^[0-9]+ bytes from / { "date -R" | getline d; close("date -R") ; print d, ": ", $0; }'