HASH(0x7f131d1d71d8)