HASH(0x7f1379f5ad00)