#include <iostream>
int main()
{
  std::cout << 0xABC.123p4;
}