HASH(0x7fedacea7940)