HASH(0x7c4d5097bf80)