HASH(0x7c4da40d1078)