HASH(0x7f7a9857cef8)