HASH(0x7954b8543d30)