HASH(0x7ff430d4ed00)