HASH(0x7f7ab507a2d0)