HASH(0x7f7ab458d6d0)