Python
with open('output_filename', 'w') as f:
number = int(open('input_filename').read().strip())
print(number * 2, file=f)
