三羊献瑞

三羊献瑞
观察下面的加法算式：
      祥 瑞 生 辉
  +   三 羊 献 瑞
-------------------
   三 羊 生 瑞 气
(如果有对齐问题，可以参看【图1.jpg】)
其中，相同的汉字代表相同的数字，不同的汉字代表不同的数字。

请你填写“三羊献瑞”所代表的4位数字（答案唯一），不要填写任何多余内容。

#include <stdio.h>
int judge(int a,int b,int c,int d,int e, int f,int g, int h)  
{  
    int i,j;      
    int array[8];  
    array[0]=a; array[1]=b; array[2]=c;  
    array[3]=d; array[4]=e; array[5]=f;  
    array[6]=g; array[7]=h;  
  
  
    for(i=0;i<8;i++)  
    {  
        for(j=i+1;j<8;j++)  
        {  
            if(array[j]==array[i])  
                return 0;  
        }  
    }  
    return 1;  
}  
int main() 
{
	int a,b,c,d,e,f,g,h,x,y,z;
	for(a=1;a<10;a++)//三 
	{
		for(b=0;b<10;b++)//羊 
		{
			for(c=0;c<10;c++)//献 
			{
				for(d=0;d<10;d++)//瑞 
				{
					for(e=1;e<10;e++)//祥 
					{
						for(f=0;f<10;f++)//生 
						{
							for(g=0;g<10;g++)//辉 
							{
								for(h=0;h<10;h++)//气 
								{
									x=e*1000+d*100+f*10+g;
									y=a*1000+b*100+c*10+d;
									z=a*10000+b*1000+f*100+d*10+h;
									if((x+y==z)&&judge(a,b,c,d,e,f,g,h))
									printf("%d",y);
								}
							}
						}
					}
				}
			}
		}
	}
	return 0;
}

注：judge函数，判断四个数是不是相等的函数必不可少，不然会出现很多数字。