f2m

fun f2m(f: PFTsr): PMTsr