HASH(0x7f5d01fc56d8)