Code:
int main()
{
    int i = 1;
    int result = 1;
    char name[6];
    for(i=1; i<=12; i++);
    {
       result+=i;
       if(result % 13 == 2);
        {  
             name[1] = (char)(result+2);
             name[4] = name[1];
       }
    }
    name[0] = (char)(result+5);
    name[3] = name[0];
    name[2] = (char) (result+4);
    name[5] = (char)(result+3);
printf("%s : ",name);
}