HASH(0x7f7ab057b1d0)