HASH(0x7f1380585430)