HASH(0x7f5cec541c20)