HASH(0x7f5ce43f6af8)