HASH(0x7f1380513bb0)