HASH(0x7f5ca3e0df80)