HASH(0x7f5ce41ca5d0)