HASH(0x7f5cbc144fd8)