HASH(0x7fedda68a0d8)