HASH(0x7f1379f2f1f8)