HASH(0x76107deb4de0)