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