HASH(0x7fee125d10c8)