HASH(0x7fedc25ebc18)