int printf(const char *format, ...);


f()
{
   static int count = 55;
   static int count1;

   printf("#0007:%d %d\n",count++,count1++);
  
}

main()
{
   f();
   f();
    return 0;
}