HASH(0x7f5cbc1e25e0)