HASH(0x7f5ca4f48de8)