HASH(0x7f5cacff3c80)