HASH(0x7f5cfa54c2f0)