HASH(0x7f7a8dd32c80)