HASH(0x7f5c93bc1770)