print out certain line numbers with sed.