HASH(0x7f5cddad60d8)