BEGIN{
total = 0;
}
{
total += $1;
}
END {
printf("%d\n", total)
}