HASH(0x7ff418500cc0)