HASH(0x7f7a9c1dae80)