function twice(x) { return 2 * x }
{ total += twice($3) }
END { print total + 0 }