HASH(0x7f5ca013afb8)