HASH(0x7f388b3b2e00)