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