HASH(0x7f5cda54de48)