HASH(0x7f7a95f6df58)