HASH(0x7f5c93e08a30)