HASH(0x7fedc25dce68)