I'm not sure where exactly the author got the number 25 from either, even without counting comments or white space this is somewhat more. Of course, as you say,

I'm not sure where exactly the author got the number 25 from either, even without counting comments or white space this is somewhat more. Of course, as you say, it can be any number of lines you desire it to be.