HASH(0x7fedfe674df8)