HASH(0x7fee125fa880)