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