HASH(0x7f5ca45af2b8)