HASH(0x7f5ca025c3a0)