--- 1662517.3999.output	2016-05-17 21:42:53.624171046 +0200
+++ 3999.out	2016-03-06 10:30:51.000000000 +0100
@@ -1 +1 @@
-3000
+3999