HASH(0x7fedde664940)