HASH(0x7f7a71cd7690)