#include <stdio.h>

int main() {
  int x = 10;
  double y = 12.345678;
  printf("%d %x %o \n", x, x , x);
  printf("%12.2f \n", y);
  //int y = 12;
  return 0;
}