I think a quick grep/awk would do the job ...