awk 'BEGIN{total=0}{total += $1} END{print total}'