HASH(0x7f70edf8c410)