int main()
{
char str1[1000],str2[1000];
gets(str1);
gets(str2);
int len1=strlen(str1);
int len2=strlen(str2);
int i,flag=0,j,k;
int way1=0,way2=0;
for(i=0;i<len1;i++)
{
flag=1;
for(j=i,k=0;j<len1&&k<len2;j++,k++)
{
if(str1[j]-'0'+str2[k]-'0'>3)
{
flag=0;
break;
}
}
if(flag)
break;
}
way1=len1+len2-k;
//printf("%d %d %d",len1,len2,k);
for(i=0;i<len2;i++)
{
flag=1;
for(j=i,k=0;j<len2&&k<len1;j++,k++)
{
if(str1[k]-'0'+str2[j]-'0'>3)
{
flag=0;
break;
}
}
if(flag)
break;
}
way2=len1+len2-k;
if(way1>way2)
printf("%d",way2);
else
printf("%d",way1);
return 0;
}