HASH(0x7f5d00f85c00)