bash скрипт

awk '{a=a+$4} END {print a}'

awk '{ SUM += $4} END { print SUM }'

Опередил )

Что то типа:

i=0; for j in `awk '{print $4}' ИМЯ_файла` ; do i=$(( i+j )) ; done ; echo $i

Или формировать строку из чисел и знаков "+" и "кормить" ее bc.

участвуешь в соревнованиях?