HASH(0x7f5cdc3ec6e0)