HASH(0x7f1380513b50)