HASH(0x7f5c98be33d8)