added DjVuFormat