main()
 {
 printf("%08X\n",102533234);
 getchar();
 return 0;
 }