echo texhash