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