HASH(0x7f5cea83c7d0)