HASH(0x7ff41c0476d8)