HASH(0x7f5cdc3e88f8)