char s[9999],t[9999];a;main(b){a=scanf("%s%s",s,t)