HASH(0x7f47f768dc50)