Start time: 14.12.2023 20:58:35 After doc accessing: 14.12.2023 20:58:35 After doc formatting: 14.12.2023 20:58:35 End time: 14.12.2023 20:58:35 Doc created: 15.11.2017 14:03:06 Doc last mod: 15.11.2017 14:09:57 Doc manual: