HASH(0x7f1371cb18f8)