7397 IF TF>0 THEN PRINT " (";TF;")";