HASH(0x7f1380518fe0)