HASH(0x7f5ce02afe80)