7257 TF=0