HASH(0x55ceb7def530)