HASH(0x7f5ce0253af0)