HASH(0x7f7a75c4bd20)