write(1-File standardInput readLine asNumber)