nr=NR; $nr=nr
