HASH(0x7fede261c800)