HASH(0x7f5ce43e0d00)