HASH(0x7f5ce044cde0)