HASH(0x7f70ba16b050)