HASH(0x7f5cac1a62c0)