HASH(0x55dc80fcde30)