HASH(0x7f5cddea24c8)