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