HASH(0x7f5cad70ac30)