public int getNrCols() {
   return header.getNrCols();
 }