HASH(0x7f5cc813e3e0)