HASH(0x7f5c78bd03e0)