ASMLVR257E txt1 dec2 not positive: txt3