HASH(0x7f7ab0578c20)