HASH(0x7f5cbca78c20)