HASH(0x7f5cff18dbd0)