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