'''
Write a Python function that takes integer x as a parameter and outputs 2*x
'''

def double(x):
    return 2 * x