HASH(0x7ff424059588)