HASH(0x7f5ce255d1d0)