HASH(0x7fedec0250f0)