HASH(0x7f5cdc1da0c0)