#include <stdio.h>
 
void print_binary(int val);
 
int main()
{
   int k;
 
   for (k = 17800; k <= 17820; ++k) {
      printf("%d = ");
      print_binary(k);
      putchar(‘\n’);
   }
   return 0;
}