HASH(0x7fee125e1b00)