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