HASH(0x7f5ce827c0e0)