HASH(0x7f7a81f672d8)