HASH(0x55ceb7def2e0)