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