HASH(0x76107c25bc90)