Traceback (most recent call last): File "src.py", line 1, in <module> S=double(input('')) NameError: name 'double' is not defined