HASH(0x7f5ce02342f0)