File standardInput readLines map(asNumber)slice(1)sum print