HASH(0x7f70d8029c20)