HASH(0x7c4d5c5af818)