sum[eval[split[%r/\s+/, input[""]]]]