HASH(0x55dc80fc80d8)