7025 A$=TF$(J)