HASH(0x7f5cdc3a30c0)