HASH(0x7fedd666ce80)