HASH(0x7f5cea9c43e8)