HASH(0x7fedde598930)