#! /usr/bin/awk -f

{ tot = tot + $1 }
END { print tot }

