HASH(0x7f7a8dd35f18)