HASH(0x7f7a95f7e4d0)