x := ftn()