HASH(0x7f5ca41b8a20)