HASH(0x7f1354107fe0)