HASH(0x7f5ca4f7aa80)