HASH(0x7f5ca4fc4e20)