HASH(0x7f5cedea23d8)