HASH(0x7f7abdca4d68)