HASH(0x7954b8580de8)