HASH(0x7f5cdc57b7f0)