read `Litt.txt`: Book1(4,[1$3],20000); quit: