def f1():
    return 17