HASH(0x7f1379f4e1e8)