--- /dev/null   2018-06-12 13:28:15.631614377 +0200
+++ ./class3/crlnumber  2018-06-13 23:52:09.602614135 +0200
@@ -0,0 +1 @@
+1234