HASH(0x7f5cde36fe80)