HASH(0x7f5ca8e1d1e0)