HASH(0x7ff454d4b0f8)