>>917
本題に関係ないが、grepのあとawkするのって無駄。

grep HOGE | awk '{ print $9 }'

awk '/HOGE/{ print $9 }'