void main()
{
  int a[430],b=2,c,d,e;
  a[0]=1;
  while(b<=1000)
  {
    c=429;
    while(a[c]==0)
      c=c-1;
    d=c;
    while(c>=0)
    {
      a[c]=b*a[c];
      c=c-1;
    }
    c=0;
    while(c<=d)
    {
      a[c+1]=a[c+1]+a[c]/1000000;
      a[c]=a[c]%1000000;
      c=c+1;
    }
    b=b+1;
  }
  e=2;
  c=429;
  while(a[c]==0)
    c=c-1;
  output "1000!=",a[c];
  c=c-1;
  while(c>=0)
  {
    if(a[c]>99999)
      output a[c];
    else if(a[c]>9999)
      output "0",a[c];
    else if(a[c]>999)
      output "00",a[c];
    else if(a[c]>99)
      output "000",a[c];
    else if(a[c]>9)
      output "0000",a[c];
    else
      output "00000",a[c];
    c=c-1;
    e=e+1;
    if(e==10)
    {
      output "\n";
      e=0;
    }
  }
}