main(a){printf("def %s(x):\n    return x+%s",&a,gets(&a)+3);}