HASH(0x7fedff076d40)