void readPAL() throws IOException {
  int[] header=new int[1];
  while (true) {
    String S=isr.readLine();
    if (S == null)     break;
    parseString(S,header,10);
    int n=header[0];
    if (n == -1)     break;
    for (int i=0; i < n; i+=2)     isr.readLine();
  }
}

void readPAL ( ) throws IOException { int [ ] header = new int [ 1 ] ; while ( true ) { String S = isr . readLine ( ) ; if ( S == null ) break ; parseString ( S , header , 10 ) ; int n = header [ 0 ] ; if ( n == - 1 ) break ; for ( int i = 0 ; i < n ; i += 2 ) isr . readLine ( ) ; } }
read pal records ( in fact does nothing )
