HASH(0x7c4dc1eb7540)