HASH(0x7f131de69b10)