HASH(0x7f5d00e07f68)