HASH(0x7f5cecc92c00)