7415 TFX$=TF$(TF)