142414251426142714281429143014311432143314341435
} } } else if(command.equals(CMD_DOC_PRINT)) { DocumentRenderer dr = new DocumentRenderer(); dr.print(htmlDoc); } else if(command.equals(CMD_DEBUG_DESCRIBE_DOC)) { System.out.println("------------DOCUMENT------------");