14711472147314741475147614771478147914801481
int varNumber = din.readShort(); while (newGame.prevVariant()) // DO NOTHING ; while (varNumber-- > 0) newGame.nextVariant(); if (depth > 0) newGame.next(); } } } catch (SGFException e) {