Optimization: Use StringBuilder instead of String +=. It is at least 3x
faster during divLines concatenations.