HASH(0x7f5ca41c84d0)