HASH(0x55dc80fc71d0)