HASH(0x7fee125ea128)