#include<stdio.h>
void main()
{
   int a[3] = {1001, 2002, 3003};
   printf("%d", a[0]+a[1]+a[2]);
}

6006