HASH(0x7c4d7c61bc20)