How do you call a function several times in this context??

[Jason Friedman]

> def double(value):
>         result
>         return result
>
> number=input('type a number')
> print (double(int(number)))
>

I think what was meant:

def double(value):
    result = 2 * value
    return result