HASH(0x7f1380b9b3a0)