896 /* and the verfier */