#include <stdio.h>

int main(void)
{
  unsigned char to[6] = {0x08, 0x00, 0x20, 0x78, 0x97, 0xb2};
  int i;


  for (i = 0; i < 6; i++) printf("%2.2x%s", to[i], i<5?":":"");
  printf("\n");
  return 0;
}