irtfNot » hartX * nf 1 f0