Quote:
awk '{print $4 " " $7}'


That what what I immediately thought of as well.
I would just use awk '{ print $4, $7 }' for clarity.

Awk must be the most under-utilized wonder tool ever.